Peter Hutterer
44b9dca9d5
tools: update the publish-doc tool to use ninja
...
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
2017-06-13 12:28:37 +10:00
Peter Hutterer
817328e171
tools: update the doc publish tool to take a subdir
...
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
2016-04-12 07:56:52 +10:00
Peter Hutterer
6fa0c9aa97
tools: fix the publish-doc script
...
Original script was broken, curse those last-minute changes before pushing
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
2014-06-16 16:44:34 +10:00
Peter Hutterer
7cedd02b5d
tools: add a script to push the doxygen output to freedesktop.org
...
Intentionally not added to EXTRA_DIST, if you're not running libinput from git
you're not supposed to push documentation.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
2014-06-10 08:28:07 +10:00
