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 <david.b.kinder@intel.com>
This commit is contained in:
David B. Kinder 2018-03-11 08:40:26 -07:00 committed by Jack Ren
parent 52f49c9807
commit c48f757e6d
1 changed files with 1 additions and 0 deletions

View File

@ -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