Discussion:
Bug#861317: manpages.debian.org: anchors for command-line options
(too old to reply)
Paul Wise
2017-04-27 10:10:02 UTC
Permalink
Package: manpages.debian.org
Severity: wishlist

It would be very very useful to be able to reference individual
command-line options or subcommands (for things like git). This needs
id attributes on the relevant tags or <a name="..."> tags.
--
bye,
pabs

https://wiki.debian.org/PaulWise
Michael Stapelberg
2017-04-27 11:40:02 UTC
Permalink
This is already tracked at https://github.com/Debian/debiman/issues/48.
Post by Paul Wise
Package: manpages.debian.org
Severity: wishlist
It would be very very useful to be able to reference individual
command-line options or subcommands (for things like git). This needs
id attributes on the relevant tags or <a name="..."> tags.
--
bye,
pabs
https://wiki.debian.org/PaulWise
--
Best regards,
Michael
Loading...