From 2ea195dfbc4da32cbf729fe4f4515849e4ebbd97 Mon Sep 17 00:00:00 2001 From: rsiddharth 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/assets/includes/footer.html | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 docs/assets/includes/footer.html (limited to 'docs/assets/includes/footer.html') diff --git a/docs/assets/includes/footer.html b/docs/assets/includes/footer.html new file mode 100644 index 0000000..308b1d0 --- /dev/null +++ b/docs/assets/includes/footer.html @@ -0,0 +1,2 @@ + + -- cgit v1.2.3