tools: add a script to push the doxygen output to freedesktop.org
authorPeter Hutterer <peter.hutterer@who-t.net>
Thu, 5 Jun 2014 05:42:49 +0000 (15:42 +1000)
committerPeter Hutterer <peter.hutterer@who-t.net>
Mon, 9 Jun 2014 22:28:07 +0000 (08:28 +1000)
commit7cedd02b5dbd2b23f126640307b95362d577cadf
treeed7469f64950eb047e11d0076327256071a46577
parentf533ef212e47a449256324cfd8c5ed78df57b5da
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>
tools/publish-doc [new file with mode: 0755]