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
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