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 575574 - Be more friendly for files with a space in their name
Be more friendly for files with a space in their name
Status: RESOLVED FIXED
Product: gtk-doc
Classification: Platform
Component: general
unspecified
Other Linux
: Normal normal
: 1.12
Assigned To: gtk-doc maintainers
gtk-doc maintainers
: 575797 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2009-03-16 16:13 UTC by Vincent Untz
Modified: 2009-03-18 08:40 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Trivial patch (420 bytes, patch)
2009-03-16 16:13 UTC, Vincent Untz
committed Details | Review

Description Vincent Untz 2009-03-16 16:13:00 UTC
See attached patch. Without it, I can't distcheck atk.
Comment 1 Vincent Untz 2009-03-16 16:13:18 UTC
Created attachment 130758 [details] [review]
Trivial patch
Comment 2 Stefan Sauer (gstreamer, gtkdoc dev) 2009-03-17 11:20:44 UTC
2009-03-17  Stefan Kost  <ensonic@users.sf.net>

	patch by: Vincent Untz <vuntz@nome.org>

	* gtkdoc-common.pl.in:
	  Be more friendly for files with a space in their name. Fixes #575574.
Comment 3 Götz Waschk 2009-03-18 08:40:43 UTC
*** Bug 575797 has been marked as a duplicate of this bug. ***