mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-06-05 06:58:56 +00:00
docs: install prebuilt plugin docs if gtk-doc is disabled
Sync to the Makefile.am from gst-plugin-base where it is done right. Fixes #725034
This commit is contained in:
parent
161254d7c0
commit
068529e1b7
1 changed files with 7 additions and 9 deletions
|
@ -1,16 +1,14 @@
|
||||||
if ENABLE_PLUGIN_DOCS
|
|
||||||
PLUGINS_DOCS_DIRS = plugins
|
|
||||||
else
|
|
||||||
PLUGINS_DOCS_DIRS =
|
|
||||||
endif
|
|
||||||
|
|
||||||
if ENABLE_GTK_DOC
|
if ENABLE_GTK_DOC
|
||||||
GTK_DOC_DIRS = $(PLUGINS_DOCS_DIRS)
|
if ENABLE_PLUGIN_DOCS
|
||||||
|
PLUGIN_DOCS_DIRS = plugins
|
||||||
else
|
else
|
||||||
GTK_DOC_DIRS =
|
PLUGIN_DOCS_DIRS =
|
||||||
|
endif
|
||||||
|
else
|
||||||
|
PLUGIN_DOCS_DIRS = plugins
|
||||||
endif
|
endif
|
||||||
|
|
||||||
SUBDIRS = libs $(GTK_DOC_DIRS)
|
SUBDIRS = libs $((PLUGIN_DOCS_DIRS)
|
||||||
DIST_SUBDIRS = libs plugins
|
DIST_SUBDIRS = libs plugins
|
||||||
|
|
||||||
EXTRA_DIST = \
|
EXTRA_DIST = \
|
||||||
|
|
Loading…
Reference in a new issue