| commit | 8d2cd4522d80ee1ad883c3194da318478f8d8ccb | [log] [tgz] |
|---|---|---|
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Jul 22 18:32:29 2008 +0000 |
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Jul 22 18:32:29 2008 +0000 |
| tree | 30e1f957f22b102347eb1d99b0388d4b82bef522 | |
| parent | 8849a56b5f01adf3bac45037abe0bf1ed03c2e93 [diff] |
Temporarily comment out a couple of XML fragments which cause the .pdf generation (make print-docs), and hence make dist, to fail for completely non-obvious reasons, even though xsltproc (make html-docs) does not complain about them. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8455 a5019735-40e9-0310-863c-91ae7b9d1cf9