summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-03-07 13:04:17 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-03-07 13:04:17 -0500
commit3c1872ebb6e9a435f61c3df0399a353ae28fb472 (patch)
tree7c20046a398daadd23381e9a377da97783467aff /NEWS
parent7ba9719595ee13612c9aea786233ffdd4d77ee46 (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.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions