diff options
| -rw-r--r-- | Makefile | 26 | ||||
| -rw-r--r-- | doc/index.html | 6 |
2 files changed, 32 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..f54f275 --- /dev/null +++ b/Makefile @@ -0,0 +1,26 @@ +DOCS_WORKTREE := /tmp/fastcgi-conduit-docs + + +.PHONY: docs +docs: target/doc/* \ + $(DOCS_WORKTREE) \ + $(DOCS_WORKTREE)/* \ + $(DOCS_WORKTREE)/index.html + git -C $(DOCS_WORKTREE) add . + git -C $(DOCS_WORKTREE) commit + +target/doc/*: + cargo doc --no-deps + +$(DOCS_WORKTREE): + git worktree add $(DOCS_WORKTREE) gh-pages + +$(DOCS_WORKTREE)/*: + cp -R target/doc/* $(DOCS_WORKTREE)/ + +$(DOCS_WORKTREE)/index.html: + cp doc/index.html $(DOCS_WORKTREE)/ + +.PHONY: docs-clean +docs-clean: + git worktree remove --force $(DOCS_WORKTREE) diff --git a/doc/index.html b/doc/index.html new file mode 100644 index 0000000..cd6fe7e --- /dev/null +++ b/doc/index.html @@ -0,0 +1,6 @@ +<html> +<head> + <meta http-equiv="refresh" content="0; url=./fastcgi_conduit"> +</head> +<body></body> +</html> |