From: Tim-Philipp Müller <tim@centricular.com>
Date: Tue, 8 Nov 2016 13:58:35 +0000 (+0000)
Subject: Add 'upload' target to Makefile
X-Git-Tag: 1.19.3~489^2~519
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=641241382e00c8f51df7a5216821e4c472a1f57d;p=platform%2Fupstream%2Fgstreamer.git

Add 'upload' target to Makefile

Apart from being convenient this makes sure group permissions
are set properly afterwards, so that other people can update
things in future without getting permission errors.
---

diff --git a/Makefile b/Makefile
index d4f8f6d..d72be1b 100644
--- a/Makefile
+++ b/Makefile
@@ -42,3 +42,21 @@ gst_docs_HOTDOC_EXTRA_DEPS = theme.stamp
 .PHONY: all install clean
 
 -include $(shell $(HOTDOC) --makefile-path)
+
+# These variables define the location of the online docs
+#
+# If your local username and your fdo username differ, you
+# will need to add an entry for gstreamer.freedesktop.org
+# in your ~/.ssh/config with the right username for the server.
+#
+# DOC_SERVER = people.freedesktop.org
+# DOC_BASE = public_html/gst-docs
+DOC_SERVER = gstreamer.freedesktop.org
+DOC_BASE = /srv/gstreamer.freedesktop.org/public_html/documentation2
+
+# The local build directory with the generated HTML output
+BUILT_DOC_DIR = $(builddir)/built_doc/html/
+
+upload: all
+	rsync -rvaz -e ssh --links --delete $(BUILT_DOC_DIR) $(DOC_SERVER):$(DOC_BASE)
+	ssh $(DOC_SERVER) "chmod -R g+w $(DOC_BASE); chgrp -R gstreamer $(DOC_BASE)"