summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorPeter Hutterer <peter.hutterer@who-t.net>2018-06-06 11:15:38 +1000
committerPeter Hutterer <peter.hutterer@who-t.net>2018-06-06 11:15:38 +1000
commit1c325e988f80d871307766e2a0c256fd8a51541b (patch)
tree73cde85c0323a20278f823a2a23953ef72a52b18 /tools
parent94dba68f9620446acfa270c217ad9f35d5bee1dc (diff)
tools: drop the publish-doc tool
libinput docs must be pushed to wayland's web git repository now Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'tools')
-rwxr-xr-xtools/publish-doc22
1 files changed, 0 insertions, 22 deletions
diff --git a/tools/publish-doc b/tools/publish-doc
deleted file mode 100755
index 1a91e1a6..00000000
--- a/tools/publish-doc
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/bash
-
-set -e
-
-[ -e doc ] || (echo "Run this from the project root" && exit 1)
-
-if ! [ -f build/build.ninja ]; then
- echo "Setting up meson in directory 'build'"
- meson build
-fi
-ninja -C build
-
-[ -e build/html ] || (echo "HTML documentation failed to build" && exit 1)
-
-path=latest
-
-if [ -n "$1" ]; then
- echo "Pushing to directory '$1'"
- path="$1"
-fi
-
-rsync --delete -avz build/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/$path