Add 'upload' target to Makefile
authorTim-Philipp Müller <tim@centricular.com>
Tue, 8 Nov 2016 13:58:35 +0000 (13:58 +0000)
committerTim-Philipp Müller <tim@centricular.com>
Tue, 8 Nov 2016 14:09:08 +0000 (14:09 +0000)
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

index d4f8f6d..d72be1b 100644 (file)
--- 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)"