From 2ea195dfbc4da32cbf729fe4f4515849e4ebbd97 Mon Sep 17 00:00:00 2001
From: rsiddharth <s@ricketyspace.net>
Date: Mon, 11 Jul 2016 02:03:20 +0000
Subject: add stuff to generate docs.

* .gitignore: ignore docs/_build directory.
* Makefile (docs, push-docs, docs-clean): new targets.
* docs/Makefile: new file
* docs/assets/includes/header.html: new file.
* docs/assets/includes/footer.html: new file.
---
 docs/Makefile | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 docs/Makefile

(limited to 'docs/Makefile')

diff --git a/docs/Makefile b/docs/Makefile
new file mode 100644
index 0000000..68c953e
--- /dev/null
+++ b/docs/Makefile
@@ -0,0 +1,32 @@
+#!/usr/bin/env make
+# license: gnu gpl version 3 or higher.
+# copyright 2016 rsiddharth <s@ricketyspace.net>
+
+build_dir=_build
+
+# docs
+header=assets/includes/header.html
+footer=assets/includes/footer.html
+
+index_src=index.org
+index_out=$(build_dir)/index.html
+
+nothing:
+	@echo "Give me something to make. "
+
+html: $(index_out)
+
+.PHONY: html
+
+$(build_dir):
+	@mkdir $@
+
+$(index_out): $(index_src) $(header) $(footer) $(build_dir)
+	@cat $(header) > $@
+	@pandoc -f org -t html $< >> $@
+	@cat $(footer) >> $@
+
+clean: $(build_dir)
+	@rm -rf $<
+
+.PHONY: clean
-- 
cgit v1.2.3