From 40317e7bf35221ee8431a85d186495f5499c8f2a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Tim-Philipp=20M=C3=BCller?= <tim@centricular.com>
Date: Thu, 8 Dec 2016 07:38:41 +0000
Subject: [PATCH] Makefile: check for hotdoc before attempting upload

https://bugzilla.gnome.org/show_bug.cgi?id=775742
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index db4eb59..a5a5090 100644
--- a/Makefile
+++ b/Makefile
@@ -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)"
 
-- 
2.7.4