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 794473 - [PATCH] Remove duplicated option in gio.xml
[PATCH] Remove duplicated option in gio.xml
Status: RESOLVED FIXED
Product: glib
Classification: Platform
Component: docs
2.56.x
Other Linux
: Normal normal
: ---
Assigned To: gtkdev
gtkdev
Depends on:
Blocks:
 
 
Reported: 2018-03-19 02:30 UTC by Frank Dana
Modified: 2018-03-21 14:41 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Patch to remove duplicated option in gio.xml (1.06 KB, patch)
2018-03-19 02:30 UTC, Frank Dana
committed Details | Review

Description Frank Dana 2018-03-19 02:30:11 UTC
Created attachment 369850 [details] [review]
Patch to remove duplicated option in gio.xml

The gio(1) man page entry for the tree subcommand lists '-h' twice under its Options, because that flag was duplicated in the source xml.

It appears I can't submit a merge request from a forked repo back to the upstream, on gitlab (or I'm failing to understand how), so here's the `git format-patch` version.
Comment 1 Philip Withnall 2018-03-21 14:34:02 UTC
Review of attachment 369850 [details] [review]:

Good catch, thanks. I’ll backport this to glib-2-56 too.
Comment 2 Philip Withnall 2018-03-21 14:38:09 UTC
Pushed to master.
Comment 3 Philip Withnall 2018-03-21 14:41:09 UTC
I wish git-bz would not occasionally drop the commit checksum from comments.

523c62aaa (HEAD -> master, origin/master, origin/HEAD) Remove duplicated option in gio.xml
09f391895 (HEAD -> glib-2-56, origin/glib-2-56) Remove duplicated option in gio.xml