Bug 78134

Summary:

[GTK] Webkit docs installed even with --disable-gtk-doc

Product:

WebKit

Reporter:

Priit Laes (IRC: plaes) <plaes>

Component:

WebKitGTK

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

berto, cgarcia, eliptus+webkit, mrobinson

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
webkit-gtk-1.7.5-build.log	none

Priit Laes (IRC: plaes)

Reported 2012-02-08 11:39:22 PST

When building with --disable-gtk-doc, html docs are still built and installed.

Attachments
webkit-gtk-1.7.5-build.log (365.90 KB, text/plain) 2012-02-08 11:43 PST, Priit Laes (IRC: plaes)	no flags	Details
View All Add attachment proposed patch, testcase, etc.

Priit Laes (IRC: plaes)

Comment 1 2012-02-08 11:43:14 PST

Created attachment 126126 [details] webkit-gtk-1.7.5-build.log Build log of 1.7.5 tarball. Make sure that you don't miss the `./configure --disable-gtk-doc` output ;)

Alberto Garcia

Comment 2 2013-09-13 08:30:55 PDT

This seems to be fixed now, please reopen if you think it's still relevant.

Note You need to log in before you can comment on or make changes to this bug.