From 839fcbab5a2d437b562903ba636381d5a8eca5d3 Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Sat, 4 Jul 2020 18:18:56 +0200 Subject: Script to generate docs to a GitHub pages branch --- Makefile | 26 ++++++++++++++++++++++++++ doc/index.html | 6 ++++++ 2 files changed, 32 insertions(+) create mode 100644 Makefile create mode 100644 doc/index.html 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 @@ + + + + + + -- cgit v1.2.3