tools: add a tool to build and publish the documentation

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Peter Hutterer 2013-06-28 13:18:28 +10:00
parent 20fb3fc875
commit cbb2d1391b

11
tools/publish-doc Executable file
View file

@ -0,0 +1,11 @@
#!/bin/bash
git checkout master
make
mv doc/html doc/publish
git checkout gh-pages
rm -rf doc/html
mv doc/publish doc/html
git add doc/html
git commit -asm "Documentation update for `git log -n 1 --format="format:%h" master`"
git checkout master