[gst-devel] Installing/Building documentation

[Felipe Contreras]

Hi,

While cleaning the documentation generation stuff I came up with an
issue; ENABLE_PLUGIN_DOCS is disabled if ENABLE_GTK_DOC is disabled.

I started to fix the issue but I realized that it might not be the
best way to do it.

ENABLE_PLUGIN_DOCS should be independent of ENABLE_GTK_DOC, actually
perhaps it should be renamed to BUILD_GTK_DOC. Then we could have:

 * ENABLE_GTK_DOC and BUILD_GTK_DOC: just like ENABLE_GTK_DOC=y
 * ENABLE_GTK_DOC and not BUILD_GTK_DOC: just like ENABLE_GTK_DOC=n
 * not ENABLE_GTK_DOC: don't install documentation (useful in embedded
systems maybe)

Then AG_GST_PLUGIN_DOCS could check for ENABLE_GTK_DOC instead.

What do you think?

Best regards.

-- 
Felipe Contreras