commit | 7291814e71360643ca77e33ce7572ff6d6585049 | [log] [tgz] |
---|---|---|
author | zliu <zliu@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Aug 05 01:50:59 2015 +0000 |
committer | zliu <zliu@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Aug 05 01:50:59 2015 +0000 |
tree | a504697d1093298f1e195666548899a0366c6a8c | |
parent | de3df034fc4d7b42a86eb3d4c64fd15d840d092b [diff] |
Fix issue of "make dist BUILD_ALL_DOCS=no" git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15487 a5019735-40e9-0310-863c-91ae7b9d1cf9