WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
78134
[GTK] Webkit docs installed even with --disable-gtk-doc
https://bugs.webkit.org/show_bug.cgi?id=78134
Summary
[GTK] Webkit docs installed even with --disable-gtk-doc
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.
Top of Page
Format For Printing
XML
Clone This Bug