+
+# 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)"