Fix validation of man page extension. (#749)
If the extension does not exist or is not a number, the error message is not raised because the assumptions cause a different exception.pull/754/head
parent
84995b2993
commit
a7cf241334
3 changed files with 8 additions and 1 deletions
@ -0,0 +1,2 @@ |
||||
project('man install', 'c') |
||||
m1 = install_man('foo.a1') |
@ -0,0 +1,2 @@ |
||||
project('man install', 'c') |
||||
m1 = install_man('foo') |
Loading…
Reference in new issue