]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21ceb09) | patch
Run xmllint on make check.
authorMark Wielaard <mark@klomp.org>
Thu, 14 May 2020 22:43:33 +0000 (00:43 +0200)
committerMark Wielaard <mark@klomp.org>
Thu, 14 May 2020 22:44:52 +0000 (00:44 +0200)
commit052cc9741642ce7e0d4cfdd4c7a27b7c0eb842ec
treed5b46460f10d61c95522924c82db97089958384dtree | snapshot
parent21ceb09d5debb74bda84af2060339c885af48285commit | diff
Run xmllint on make check.

Now that we have valid docbookx xml lets try to keep it that way.
If the user has xmllint installed then run it on make check.
docs/Makefile.am diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git