commit | 07fce0a135d11e034436f06735375af7648f58b8 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Oct 21 06:16:27 2011 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Oct 21 06:16:27 2011 +0000 |
tree | facc5b68f9a8bf169248fad52cc0832d9f371962 | |
parent | 7cf235b7622757d6a29b9a61d9698f7eda9d1ed1 [diff] |
Cause the build to fail when man pages aren't built properly. At present that doesn't happen. #272967, which is Debian bug 599563. (Pierre Habouzit, madcoder@debian.org) git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12186 a5019735-40e9-0310-863c-91ae7b9d1cf9