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 648331 - Specify compatible options for 'highlight' consistently.
Specify compatible options for 'highlight' consistently.
Status: RESOLVED FIXED
Product: gtk-doc
Classification: Platform
Component: general
1.16
Other Linux
: Normal normal
: 1.18
Assigned To: gtk-doc maintainers
gtk-doc maintainers
Depends on:
Blocks:
 
 
Reported: 2011-04-20 17:59 UTC by Will Thompson
Modified: 2011-04-20 18:25 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
configure: use more compatible options for highlight more often (968 bytes, patch)
2011-04-20 17:59 UTC, Will Thompson 		none Details | Review

Description Will Thompson 2011-04-20 17:59:33 UTC 
See patch to follow momentarily.
Comment 1 Will Thompson 2011-04-20 17:59:46 UTC 
Created attachment 186383 [details] [review]
configure: use more compatible options for highlight more often

24b3544 only changed one of the two locations where the options are
specified.
Comment 2 Stefan Sauer (gstreamer, gtkdoc dev) 2011-04-20 18:25:04 UTC 
Thanks a lot!

commit 525f3c41d98ba5d145dba18a72ed1920875fd8ef
Author: Will Thompson <will.thompson@collabora.co.uk>
Date:   Wed Apr 20 18:56:57 2011 +0100

    configure: use more compatible options for highlight more often
    
    24b3544 only changed one of the two locations where the options are
    specified.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=648331