diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2021-04-08 09:13:58 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2023-05-07 23:48:44 +0000 |
commit | d7139f1314cabf01063edde669081ab9612a809b (patch) | |
tree | b92c60e43edca90fc94572fee17a082c6b25538e | |
parent | 1cc8c6d491263e2b84cc3bb8dbd2935698b8c543 (diff) | |
download | libevdev-d7139f1314cabf01063edde669081ab9612a809b.tar.gz |
tools/publish-doc: build the docs with meson before synching
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
-rwxr-xr-x | tools/publish-doc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/publish-doc b/tools/publish-doc index 4432bfd..f83704a 100755 --- a/tools/publish-doc +++ b/tools/publish-doc @@ -2,6 +2,10 @@ set -e -make -rsync --delete -avz doc/html/ freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/latest +builddir=_doc_build +rm -rf "$builddir" +meson setup "$builddir" +ninja -C "$builddir" +rsync --delete -avz "$builddir/html/" freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/latest +rm -rf "$builddir" |