libevdev/tools/publish-doc

#!/usr/bin/env bash

set -e

make
rsync --delete -avz doc/html/ freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/latest
Don't hardcode /bin/bash Don't hardcode /bin/bash, use /usr/bin/env bash instead, since not all platforms install bash as /bin/bash. FreeBSD, as an example, installs bash in /usr/local/bin/bash by default. Signed-off-by: Niclas Zeising <zeising@daemonic.se> 2020-08-10 22:47:09 +02:00			`#!/usr/bin/env bash`
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
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`