[gstreamer-bugs] [Bug 535074] New: Separate build/install gtk-doc stuff

[GStreamer (bugzilla.gnome.org)]

If you have any questions why you received this email, please see the text at
the end of this email. Replies to this email are NOT read, please see the text
at the end of this email. You can add comments to this bug at:
  http://bugzilla.gnome.org/show_bug.cgi?id=535074

  GStreamer | documentation | Ver: HEAD CVS
           Summary: Separate build/install gtk-doc stuff
           Product: GStreamer
           Version: HEAD CVS
          Platform: Other
        OS/Version: All
            Status: UNCONFIRMED
          Severity: minor
          Priority: Normal
         Component: documentation
        AssignedTo: gstreamer-bugs at lists.sourceforge.net
        ReportedBy: felipe.contreras at gmail.com
         QAContact: gstreamer-bugs at lists.sourceforge.net
     GNOME version: Unspecified
   GNOME milestone: Unspecified


This patch separates the option for building, and just installing gtk-doc
documentation.

It adds a new --enable-gtk-doc-build flag that acts as the previous
--enable-gtk-doc.

The new --enable-gtk-doc flag now installs the gtk-doc documentation if the
files are present (from the tarball for example), otherwise does nothing.

The --enable-gtk-doc-build flag activates --enable-gtk-doc, so only one is
required.

Outside of "common", packages would be affected since ENABLE_PLUGIN_DOCS is
deprecated, and now there is BUILD_PLUGIN_DOCS which is only used in
gtk-doc-plugins.mak.

I'm attaching also the changes required in gstreamer core, but all the other
packages should be updated as well.


-- 
See http://bugzilla.gnome.org/page.cgi?id=email.html for more info about why you received
this email, why you can't respond via email, how to stop receiving
emails (or reduce the number you receive), and how to contact someone
if you are having problems with the system.

You can add comments to this bug at http://bugzilla.gnome.org/show_bug.cgi?id=535074.