diff options
author | rsiddharth <s@ricketyspace.net> | 2016-07-11 02:03:20 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-07-11 02:03:20 +0000 |
commit | 2ea195dfbc4da32cbf729fe4f4515849e4ebbd97 (patch) | |
tree | 32ec668c3ea4057a79dff527f2eb208ba259b996 /Makefile | |
parent | 8845d6ed54c93957227c34b22c909b475ed38baf (diff) |
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.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 17 |
1 files changed, 16 insertions, 1 deletions
@@ -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 $@ |