diff options
| author | Stefan Sauer <ensonic@users.sf.net> | 2014-02-26 11:40:08 +0100 |
|---|---|---|
| committer | Stefan Sauer <ensonic@users.sf.net> | 2014-02-26 11:41:05 +0100 |
| commit | e268ff1ba2a2a5edf8652eb1792b99287960926d (patch) | |
| tree | c536195b1062b7920de02fe7a92ab7a1d2954c51 /docs | |
| parent | 7a8eae6ea9bac987dccc6adaba8194ab1bd9122f (diff) | |
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 | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 2dacd31..11792cb 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,10 +1,14 @@ if ENABLE_GTK_DOC -GTK_DOC_DIRS = # plugins +if ENABLE_PLUGIN_DOCS +PLUGIN_DOCS_DIRS = plugins else -GTK_DOC_DIRS = +PLUGIN_DOCS_DIRS = +endif +else +PLUGIN_DOCS_DIRS = plugins endif -SUBDIRS = $(GTK_DOC_DIRS) +SUBDIRS = $(PLUGIN_DOCS_DIRS) DIST_SUBDIRS = # plugins EXTRA_DIST = \ |