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. --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index e4e5f6c..4276630 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ -*~ \ No newline at end of file +*~ +docs/_build/ \ No newline at end of file -- cgit v1.2.3