From 641241382e00c8f51df7a5216821e4c472a1f57d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim-Philipp=20M=C3=BCller?= <tim@centricular.com>
Date: Tue, 8 Nov 2016 13:58:35 +0000
Subject: [PATCH] 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.
---
 Makefile | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/Makefile b/Makefile
index d4f8f6d856..d72be1b890 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)"