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 737043 - gnome-user-docs sometimes refers to folder as directories and sometimes as folders
gnome-user-docs sometimes refers to folder as directories and sometimes as fo...
Status: RESOLVED FIXED
Product: gnome-user-docs
Classification: Core
Component: gnome-help
3.13.x
Other All
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
Maintainers of Gnome user documentation
Depends on:
Blocks:
 
 
Reported: 2014-09-20 20:40 UTC by Sebastian Rasmussen
Modified: 2014-09-20 23:32 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Proposed patch. (1.61 KB, patch)
2014-09-20 20:44 UTC, Sebastian Rasmussen 		committed Details | Review

Description Sebastian Rasmussen 2014-09-20 20:40:13 UTC 
Let's make this consistent.
Comment 1 Sebastian Rasmussen 2014-09-20 20:44:09 UTC 
Created attachment 286706 [details] [review]
Proposed patch.
Comment 2 David King 2014-09-20 23:31:48 UTC 
Review of attachment 286706 [details] [review]:

Pushed to master as c8a83249bb7714e47209eea3477bc56d776a6832. Thanks!