]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19f702f) | patch
Cause the build to fail when man pages aren't built properly. At
authorJulian Seward <jseward@acm.org>
Fri, 21 Oct 2011 06:16:27 +0000 (06:16 +0000)
committerJulian Seward <jseward@acm.org>
Fri, 21 Oct 2011 06:16:27 +0000 (06:16 +0000)
commit141e66b02af69634ee6acc0cfb1064f362ccf176
treefacc5b68f9a8bf169248fad52cc0832d9f371962tree
parent19f702f49f3668a0d6ffa6b39f718ec13927c3bacommit | 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
docs/Makefile.am diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git