mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-28 04:31:06 +00:00
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.
This commit is contained in:
parent
bb46c11263
commit
641241382e
1 changed files with 18 additions and 0 deletions
18
Makefile
18
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)"
|
||||
|
|
Loading…
Reference in a new issue