mirror of
https://gitlab.freedesktop.org/wayland/wayland.git
synced 2025-11-03 09:01:42 -05:00
16 lines
349 B
Text
16 lines
349 B
Text
|
#!/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/
|