commit | e60fc58a77ce513565eaaf077de38c059295bc54 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 04 15:00:06 2005 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 04 15:00:06 2005 +0000 |
tree | 6d4f2a328d86740c0f559d790f69a99eb7743167 | |
parent | 486796484aecf551e730b07262548ccde65f7692 [diff] |
Now that the man page is built from the XML documentation masters, it has to have the same status as the HTML/PDF/PS docs, that is, not built by default because it depends on the ultra-fragile XML toolchain. So make it use the same hacks, that is, build only at 'make dist' time. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5279 a5019735-40e9-0310-863c-91ae7b9d1cf9