From e3033e8908a4434c49b666ee0ef1e9acb0d2e2de Mon Sep 17 00:00:00 2001 From: Julian Seward Date: Wed, 25 Jul 2018 06:54:59 +0200 Subject: [PATCH] Add 3_13_BUGSTATUS.txt to EXTRA_DIST. --- docs/Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.47.2