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.

1 files changed, 16 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 75c852b..a8461d8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-#!/usr/bin/make
+#!/usr/bin/env make
 # license: gnu gpl version 3 or higher.
 # copyright 2016 rsiddharth <s@ricketyspace.net>
 
@@ -26,6 +26,21 @@ config: $(config_file)
 
 .PHONY: config
 
+docs:
+	@make -C docs html
+
+.PHONY: docs
+
+push-docs: docs
+	@rsync -avz --delete docs/_build/  $(DIFME_DOCS_HOST)
+
+.PHONY: push-docs
+
+docs-clean:
+	@make -C docs clean
+
+.PHONY: docs-clean
+
 $(git_difme): $(git_difme_src)
 	@mkdir -p $(bin)
 	@touch $@