projects / platform / upstream / gstreamer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e439fe) | patch
tools: escape dashes in the man pages
authorAntonio Ospite <ao2@ao2.it>
Wed, 2 Nov 2016 21:36:27 +0000 (22:36 +0100)
committerTim-Philipp Müller <tim@centricular.com>
Fri, 11 Nov 2016 09:55:16 +0000 (09:55 +0000)
commit64c097d296730a799f92a1d3d3c8e0252050531f
tree4f9aaa3b9dac4c9c0bba5e5f3615e79484676892tree | snapshot
parent0e439fe6ad50d1a65baac383f5aaaa96edfcdd2bcommit | diff
tools: escape dashes in the man pages

The portable way to have the dashes to be rendered as ASCII minuses is
to use the sequence backslash-dash, use this style at least for text
that can be copied and pasted (e.g. command names, file names, element
options).

Also use backslash-dash in the NAME section as suggested by lexgrog(1).

https://bugzilla.gnome.org/show_bug.cgi?id=773917
tools/gst-inspect.1.in diff | blob | history
tools/gst-launch.1.in diff | blob | history
tools/gst-typefind.1.in diff | blob | history
Domain: Multimedia / Media Common;