From: Paul F. <pa...@so...> - 2025-06-01 06:09:44
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=b13cc3d1abbdc427534c1d92d63472a97f1ffacc commit b13cc3d1abbdc427534c1d92d63472a97f1ffacc Author: Paul Floyd <pj...@wa...> Date: Sun Jun 1 08:09:14 2025 +0200 doc: add xml protocol 5 and 6 files to EXTRA_DIST Diff: --- docs/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/Makefile.am b/docs/Makefile.am index 68a3da5617..607e514947 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -76,6 +76,8 @@ EXTRA_DIST = \ internals/why-no-libc.txt \ internals/xml-output.txt \ internals/xml-output-protocol4.txt \ + internals/xml-output-protocol5.txt \ + internals/xml-output-protocol6.txt \ lib/line-wrap.xsl \ lib/vg_basic.css \ lib/vg-fo.xsl \ |