Merge pull request #26 from dbkinder/master

doc: Update publish process in Makefile
This commit is contained in:
David Kinder 2018-03-11 08:49:33 -07:00 committed by GitHub
commit 9037ce8caf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -44,6 +44,7 @@ publish:
rm -fr $(PUBLISHDIR)/* rm -fr $(PUBLISHDIR)/*
cp -r $(BUILDDIR)/html/* $(PUBLISHDIR) cp -r $(BUILDDIR)/html/* $(PUBLISHDIR)
cp scripts/publish-README.md $(PUBLISHDIR)/README.md 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 # Catch-all target: route all unknown targets to Sphinx using the new