diff options
| author | Tim-Philipp Müller <tim@centricular.com> | 2016-11-08 13:58:35 +0000 |
|---|---|---|
| committer | Tim-Philipp Müller <tim@centricular.com> | 2016-11-08 14:09:08 +0000 |
| commit | 641241382e00c8f51df7a5216821e4c472a1f57d (patch) | |
| tree | bb48de7be564a904ea58a81998ce70446548f1a8 /Makefile | |
| parent | bb46c11263cf61de5ab8c9605740dd7664f58c82 (diff) | |
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.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -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)" |