From: Julian Seward Date: Wed, 25 Jul 2018 04:54:59 +0000 (+0200) Subject: Add 3_13_BUGSTATUS.txt to EXTRA_DIST. X-Git-Tag: VALGRIND_3_14_0~79 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3033e8908a4434c49b666ee0ef1e9acb0d2e2de;p=thirdparty%2Fvalgrind.git Add 3_13_BUGSTATUS.txt to EXTRA_DIST. --- diff --git a/docs/Makefile.am b/docs/Makefile.am index 81e644cfa1..e848b781d3 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -32,6 +32,7 @@ EXTRA_DIST = \ internals/3_10_BUGSTATUS.txt \ internals/3_11_BUGSTATUS.txt \ internals/3_12_BUGSTATUS.txt \ + internals/3_13_BUGSTATUS.txt \ internals/MERGE_3_10_1.txt \ internals/arm_thumb_notes_gdbserver.txt \ internals/avx-notes.txt \