From c48f757e6d5ca4e1185dec25ad4995cb8a41fee2 Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Sun, 11 Mar 2018 08:40:26 -0700 Subject: [PATCH] doc: Update publish process in Makefile Simplify the publishing process to projectacrn.github.io by making commits directly to the projectacrn/projectacrn.github.io repo (rather than to a personal repo, doing a PR, and processing the PR). This eliminates manual processing in an otherwise automated publishing process: PR reviews aren't needed for this step. Signed-off-by: David B. Kinder --- doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Makefile b/doc/Makefile index 890d56577..516b1fa98 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -44,6 +44,7 @@ publish: rm -fr $(PUBLISHDIR)/* cp -r $(BUILDDIR)/html/* $(PUBLISHDIR) cp scripts/publish-README.md $(PUBLISHDIR)/README.md + cd $(PUBLISHDIR); git add -A; git commit -s -m "publish"; git push origin master; # Catch-all target: route all unknown targets to Sphinx using the new