mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2025-04-15 12:34:15 +00:00
Code Issues 1 Projects Releases Wiki Activity

Makefile: check for hotdoc before attempting upload

Browse source 
https://bugzilla.gnome.org/show_bug.cgi?id=775742
This commit is contained in:
Tim-Philipp Müller 2016-12-08 07:38:41 +00:00
parent 5c8e06cedc
commit 40317e7bf3
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Makefile
View file

@ -59,7 +59,10 @@ DOC_BASE = /srv/gstreamer.freedesktop.org/public_html/documentation
# The local build directory with the generated HTML output
BUILT_DOC_DIR = $(builddir)/built_doc/html/
upload: all
check-for-hotdoc:
@$(HOTDOC) --version >/dev/null 2>/dev/null
upload: check-for-hotdoc all
rsync -rvaz -e ssh --links --delete $(BUILT_DOC_DIR) $(DOC_SERVER):$(DOC_BASE) || /bin/true
ssh $(DOC_SERVER) "chmod -R g+w $(DOC_BASE); chgrp -R gstreamer $(DOC_BASE)"