update valgrind manual downloads after make download-docs

diff --git a/docs/manual/valgrind_manual.html.tar.bz2 b/docs/manual/valgrind_manual.html.tar.bz2
index ca8538b2b9a8ac715a2d3da3793fa24788c72e34..b5eb196accac49cd99bcde3cb13177db77b7df59 100644 (file)
Binary files a/docs/manual/valgrind_manual.html.tar.bz2 and b/docs/manual/valgrind_manual.html.tar.bz2 differ

diff --git a/docs/manual/valgrind_manual.pdf b/docs/manual/valgrind_manual.pdf
index acc4844d5424bdf05db91d563d9c69b8b4975140..9bb276004442cf399cc74b5c18a4b6ef0bbe483a 100644 (file)
Binary files a/docs/manual/valgrind_manual.pdf and b/docs/manual/valgrind_manual.pdf differ

diff --git a/docs/manual/valgrind_manual.ps.bz2 b/docs/manual/valgrind_manual.ps.bz2
index 6d7645dde6dc5611ce3d086c2407a4ca0f58e506..579d6b1a05c243f9758bddded4c7bb51b6cba79b 100644 (file)
Binary files a/docs/manual/valgrind_manual.ps.bz2 and b/docs/manual/valgrind_manual.ps.bz2 differ