From: Mark Wielaard Date: Fri, 24 Oct 2025 23:55:55 +0000 (+0200) Subject: update valgrind manual downloads after make download-docs X-Git-Url: https://www.sourceware.org/git/?a=commitdiff_plain;h=c691291ab5eb8d8ffefc493ab6935203162e9ee9;p=valgrind-htdocs.git 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 ca8538b..b5eb196 100644 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 acc4844..9bb2760 100644 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 6d7645d..579d6b1 100644 Binary files a/docs/manual/valgrind_manual.ps.bz2 and b/docs/manual/valgrind_manual.ps.bz2 differ