| commit | 4d6cb9e7210c65a0963f38727c923847f72bed9c | [log] [tgz] |
|---|---|---|
| author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Aug 07 08:31:58 2009 +0000 |
| committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Aug 07 08:31:58 2009 +0000 |
| tree | a1c9bdf73017065b5f8ecd0d797171dd8c3e5b09 | |
| parent | c206a819470901013b39759f1dfc4cc530540164 [diff] |
Install all the new man pages. Include them in 'make dist' too (even if BUILD_ALL_DOCS is false; we've built them anyway). Delete them with 'make distclean' too (and FAQ.txt). git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10745 a5019735-40e9-0310-863c-91ae7b9d1cf9