systemd/tools
Zbigniew Jędrzejewski-Szmek 958caa58c0 man: include the target name when linking to man pages in html output
Links like http://www.freedesktop.org/software/systemd/man/systemd.socket.html
are changed to http://www.freedesktop.org/software/systemd/man/systemd.socket.html#Accept=.

This implementation is quick & dirty, and misses various corner
cases. A fairly important one is that when a few directives share the
same anchor (which happens when multiple directives are described in
the same paragraph), generated links for everything except the first
one link to an invalid anchor. Another shortcoming is that the
formatting does not use the proper generateID machinery, so the anchor
name could be wrong in some cases. But it seems to work for a large
percentage of links, so seems to be an improvement in usability. When
the anchor is missing, we land at the top of the page, which is the
same as before. If the anchor were to point to different spot, this
would be more confusing... Not sure if that ever happens. Anyway, the
user should be able to recover from landing on the wrong place in the
page.

(Mostly) fixes https://github.com/systemd/systemd/issues/1956.
2015-11-22 23:54:29 -05:00
..
check-includes.pl build-sys: add check-includes build target and script 2014-02-10 13:00:19 +01:00
gdb-sd_dump_hashmaps.py tools: add gdb command to dump hashmap information 2014-10-30 19:50:51 +01:00
make-directive-index.py man: include the target name when linking to man pages in html output 2015-11-22 23:54:29 -05:00
make-man-index.py build-sys: move python helpers to tools directory 2014-02-10 13:02:34 +01:00
make-man-rules.py build-sys: use wildcard glob in update-man-list again 2015-06-30 09:56:44 -04:00
xml_helper.py build-sys: make lxml required when generating indices 2014-02-12 03:04:57 -05:00