diff options
| author | Simon Ser <contact@emersion.fr> | 2022-05-05 11:24:11 +0200 |
|---|---|---|
| committer | Simon Ser <contact@emersion.fr> | 2022-05-05 11:24:11 +0200 |
| commit | 04efea1727f243ac1d243cee40daad1692fe2f90 (patch) | |
| tree | e43af6b76f52873931eab532bbee41e7203f0218 | |
| parent | wl_shell is not mandatory (diff) | |
| download | wayland-04efea1727f243ac1d243cee40daad1692fe2f90.tar wayland-04efea1727f243ac1d243cee40daad1692fe2f90.tar.gz wayland-04efea1727f243ac1d243cee40daad1692fe2f90.tar.bz2 wayland-04efea1727f243ac1d243cee40daad1692fe2f90.tar.lz wayland-04efea1727f243ac1d243cee40daad1692fe2f90.tar.xz wayland-04efea1727f243ac1d243cee40daad1692fe2f90.tar.zst wayland-04efea1727f243ac1d243cee40daad1692fe2f90.zip | |
Remove publish-doc
We don't use this script anymore.
Signed-off-by: Simon Ser <contact@emersion.fr>
| -rwxr-xr-x | publish-doc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/publish-doc b/publish-doc deleted file mode 100755 index 80fc22a..0000000 --- a/publish-doc +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -set -e - -[ -e doc ] || (echo "Run this from the project root" && exit 1) - -make - -DOC_HTML=./doc/publican/Wayland/en-US/html/ - -[ -e "${DOC_HTML}" ] || (echo "HTML documentation failed to build at ${DOC_HTML}" && exit 1) - -chmod -R g+x ${DOC_HTML} - -rsync --delete -avz ${DOC_HTML} freedesktop.org:/srv/wayland.freedesktop.org/www/docs/html/ |