mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-10 03:19:40 +00:00
68 lines
1.8 KiB
Makefile
68 lines
1.8 KiB
Makefile
all:
|
|
|
|
install:
|
|
|
|
clean:
|
|
|
|
BRANCH = 1.10
|
|
|
|
HOTDOC ?= hotdoc
|
|
prefix ?= /usr
|
|
datadir ?= ${prefix}/share
|
|
devhelpdir ?= ${datadir}/devhelp/books
|
|
docdir ?= ${datadir}/doc/${PACKAGE}
|
|
htmldir ?= ${docdir}
|
|
|
|
# emulate Automake well enough for hotdoc.mk
|
|
AM_V_GEN ?=
|
|
AMTAR ?= tar
|
|
mkinstalldirs ?= install -d
|
|
srcdir = $(CURDIR)
|
|
top_srcdir = $(CURDIR)
|
|
builddir = $(CURDIR)
|
|
top_builddir = $(CURDIR)
|
|
|
|
HOTDOC_PROJECTS = gst-docs
|
|
|
|
gst_docs_HOTDOC_FLAGS = \
|
|
--conf-file hotdoc.json \
|
|
$(NULL)
|
|
|
|
.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/documentation
|
|
|
|
# The local build directory with the generated HTML output
|
|
BUILT_DOC_DIR = $(builddir)/built_doc/html/
|
|
|
|
check-for-hotdoc:
|
|
@$(HOTDOC) --version >/dev/null 2>/dev/null
|
|
|
|
upload: check-for-hotdoc all
|
|
rsync -rvaz -e ssh --links --delete $(BUILT_DOC_DIR) $(DOC_SERVER):$(DOC_BASE) || /bin/true
|
|
ssh $(DOC_SERVER) "chmod -R g+w $(DOC_BASE); chgrp -R gstreamer $(DOC_BASE)"
|
|
|
|
include plugins-introspection/plugins-introspection.mak
|
|
|
|
help:
|
|
@echo
|
|
@echo " make -- Build or rebuild docs (markdown -> html)"
|
|
@echo
|
|
@echo " make upload -- Upload docs"
|
|
@echo
|
|
@echo " make update-xml -- Update local plugin module .xml files from git"
|
|
@echo " make update-plugin-list -- Rebuild local plugins.md list from .xml files"
|
|
@echo
|
|
@echo " make clean-url-cache -- Remove local url cache"
|
|
@echo
|