diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2013-06-28 13:18:28 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2013-06-28 13:18:28 +1000 |
commit | cbb2d1391b58e84f263fcc4dc9085aa5bb2b4588 (patch) | |
tree | 30991d0d3c4c284759bf41f8002496e570695301 /tools | |
parent | 20fb3fc8758246a84dd9341ed8ef4854e0669ffc (diff) | |
download | libevdev-cbb2d1391b58e84f263fcc4dc9085aa5bb2b4588.tar.gz |
tools: add a tool to build and publish the documentation
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/publish-doc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/publish-doc b/tools/publish-doc new file mode 100755 index 0000000..66777ab --- /dev/null +++ b/tools/publish-doc @@ -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 |