diff options
author | Stefan Sauer <ensonic@users.sf.net> | 2014-02-26 11:32:01 +0100 |
---|---|---|
committer | Stefan Sauer <ensonic@users.sf.net> | 2014-02-26 11:37:16 +0100 |
commit | 068529e1b7f4222916ba1f731fc27208a36dcb45 (patch) | |
tree | 6580193bf13b70f49359c597a75aff360e24e1f6 /docs | |
parent | 161254d7c0cd2866b05d35d4aa1eed7e876779fc (diff) | |
download | gstreamer-plugins-bad-068529e1b7f4222916ba1f731fc27208a36dcb45.tar.gz |
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
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile.am | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 860b98989..2e5d1c871 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,16 +1,14 @@ +if ENABLE_GTK_DOC if ENABLE_PLUGIN_DOCS -PLUGINS_DOCS_DIRS = plugins +PLUGIN_DOCS_DIRS = plugins else -PLUGINS_DOCS_DIRS = +PLUGIN_DOCS_DIRS = endif - -if ENABLE_GTK_DOC -GTK_DOC_DIRS = $(PLUGINS_DOCS_DIRS) else -GTK_DOC_DIRS = +PLUGIN_DOCS_DIRS = plugins endif -SUBDIRS = libs $(GTK_DOC_DIRS) +SUBDIRS = libs $((PLUGIN_DOCS_DIRS) DIST_SUBDIRS = libs plugins EXTRA_DIST = \ |