libinput/tools/publish-doc

#!/bin/bash

set -e

[ -e doc ] || (echo "Run this from the project root" && exit 1)

make

[ -e doc/html ] || (echo "HTML documentation failed to build" && exit 1)

rsync --delete -avz doc/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/latest
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-05 15:42:49 +10:00			`#!/bin/bash`

			`set -e`

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-13 14:43:28 +10:00			`[ -e doc ] \|\| (echo "Run this from the project root" && exit 1)`
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-05 15:42:49 +10:00
			`make`

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-13 14:43:28 +10:00			`[ -e doc/html ] \|\| (echo "HTML documentation failed to build" && exit 1)`
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-05 15:42:49 +10:00
			`rsync --delete -avz doc/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/latest`