After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 670689 - build: Add --disable-documentation option
build: Add --disable-documentation option
Status: RESOLVED FIXED
Product: gnome-panel
Classification: Other
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2012-02-23 14:52 UTC by Colin Walters
Modified: 2012-02-24 11:28 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
build: Add --disable-documentation option (1.21 KB, patch)
2012-02-23 14:52 UTC, Colin Walters 		committed Details | Review

Description Colin Walters 2012-02-23 14:52:21 UTC 
Useful for operating system builders who want to avoid cyclic build
dependencies.
Comment 1 Colin Walters 2012-02-23 14:52:23 UTC 
Created attachment 208274 [details] [review]
build: Add --disable-documentation option
Comment 2 Vincent Untz 2012-02-23 16:05:27 UTC 
Comment on attachment 208274 [details] [review]
build: Add --disable-documentation option

Please commit, thanks.