libevdev/tools/publish-doc

#!/bin/bash

set -e

make
rsync --delete -avz doc/html/ freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/latest
tools: add a tool to build and publish the documentation Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net> 2013-06-28 13:18:28 +10:00			`#!/bin/bash`

Point to new API documentation URL And fix up the tool to publish it. Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net> 2013-07-22 08:31:36 +10:00			`set -e`

tools: add a tool to build and publish the documentation Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net> 2013-06-28 13:18:28 +10:00			`make`
Point to new API documentation URL And fix up the tool to publish it. Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net> 2013-07-22 08:31:36 +10:00			`rsync --delete -avz doc/html/ freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/latest`