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.
---
 Makefile | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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 $@
-- 
cgit v1.2.3