mirrors/wayland
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/wayland/wayland.git synced 2025-10-28 05:40:14 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

publish-doc: Add script for publishing docs to the website

Browse source 
Adapted from same-named script from libinput.
This commit is contained in:
Bryce Harrington 2015-05-27 15:34:20 -07:00
parent 6ffd998a98
commit c19d5e1867
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
publish-doc Executable file
View file

@ -0,0 +1,15 @@
#!/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/