tree a504697d1093298f1e195666548899a0366c6a8c
parent de3df034fc4d7b42a86eb3d4c64fd15d840d092b
author zliu <zliu@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1438739459 +0000
committer zliu <zliu@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1438739459 +0000

Fix issue of "make dist BUILD_ALL_DOCS=no"


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15487 a5019735-40e9-0310-863c-91ae7b9d1cf9