]> git.ipfire.org Git - thirdparty/systemd.git/commit - tools/make-man-index.py
projects / thirdparty / systemd.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ba9719) | patch
build-sys: check if manpage ids match file names
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 7 Mar 2013 18:04:17 +0000 (13:04 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 7 Mar 2013 18:04:17 +0000 (13:04 -0500)
commit3c1872ebb6e9a435f61c3df0399a353ae28fb472
tree7c20046a398daadd23381e9a377da97783467afftree | snapshot
parent7ba9719595ee13612c9aea786233ffdd4d77ee46commit | diff
build-sys: check if manpage ids match file names

Commit ed1553a fixed current errors, but this error is easy to
make. A wrong id messes up the indexes and linking, so it is
better to catch this automatically.
make-man-index.py diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.