Add 3_13_BUGSTATUS.txt to EXTRA_DIST.

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 81e644cfa11d7badb0381a84acacaa4ea18d3dbf..e848b781d3bb23f31f7b225caee95483238aa018 100644 (file)
--- 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 \