diff options
| author | Tim-Philipp Müller <tim@centricular.com> | 2016-12-08 07:38:41 +0000 |
|---|---|---|
| committer | Tim-Philipp Müller <tim@centricular.com> | 2016-12-08 07:38:41 +0000 |
| commit | 40317e7bf35221ee8431a85d186495f5499c8f2a (patch) | |
| tree | fc46625c1414b48ea58dee47fb92ab431b16f9e1 /Makefile | |
| parent | 5c8e06cedcb6f16d6b0aeb7ebfc33ed4b9474b47 (diff) | |
Makefile: check for hotdoc before attempting upload
https://bugzilla.gnome.org/show_bug.cgi?id=775742
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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)" |