diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-07 13:04:17 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-07 13:04:17 -0500 |
| commit | 3c1872ebb6e9a435f61c3df0399a353ae28fb472 (patch) | |
| tree | 7c20046a398daadd23381e9a377da97783467aff /NEWS | |
| parent | 7ba9719595ee13612c9aea786233ffdd4d77ee46 (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