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 708268 - New *-insensitive.png files are not distributes
New *-insensitive.png files are not distributes
Status: RESOLVED FIXED
Product: gtk-doc
Classification: Platform
Component: general
unspecified
Other All
: Normal normal
: 1.20
Assigned To: gtk-doc maintainers
gtk-doc maintainers
Depends on:
Blocks:
 
 
Reported: 2013-09-17 22:04 UTC by Dieter Verfaillie
Modified: 2014-02-09 11:52 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
make: distribute new .png files (888 bytes, patch)
2013-09-17 22:04 UTC, Dieter Verfaillie 		committed Details | Review
make: distribute new .png files (935 bytes, patch)
2013-09-20 12:18 UTC, Stefan Sauer (gstreamer, gtkdoc dev) 		committed Details | Review

Description Dieter Verfaillie 2013-09-17 22:04:37 UTC 
Created attachment 255142 [details] [review]
make: distribute new .png files

The new *-insensitive.png files added in
https://git.gnome.org/browse/gtk-doc/commit/?id=0fab530ad580011d8fee87755a37d180392e9970
are not distributed.

Attached patch fixes this.
Comment 1 Stefan Sauer (gstreamer, gtkdoc dev) 2013-09-20 12:17:59 UTC 
The following fix has been pushed:
71e0daf make: distribute new .png files
Comment 2 Stefan Sauer (gstreamer, gtkdoc dev) 2013-09-20 12:18:06 UTC 
Created attachment 255387 [details] [review]
make: distribute new .png files

added in 0fab530ad580011d8fee87755a37d180392e9970