From 49b73747514c0dfd53e70f13a4da80a8665d15fa Mon Sep 17 00:00:00 2001
From: Jacob Bachmeyer <jcb@gnu.org>
Date: Sun, 2 Aug 2020 22:58:52 -0500
Subject: [PATCH] Add doc/fdl.texi to Makefile.am

---
 ChangeLog   | 1 +
 Makefile.am | 1 +
 2 files changed, 2 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 64a60b1..202ad21 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,7 @@
 	during development but were mistakenly not added at that time.
 	(baseboard_DATA): Sort baseboard file list.
 	(baseboard_DATA): Add missing files.
+	(dejagnu_TEXINFOS): New; add GNU FDL file.
 
 	* Makefile.in (TESTSUITE_FILES): Likewise.
 	(baseboard_DATA): Likewise.
diff --git a/Makefile.am b/Makefile.am
index 5c132fe..997bbb4 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -227,6 +227,7 @@ dist_man_MANS = doc/dejagnu.1 \
 	doc/dejagnu-report-card.1 \
 	doc/runtest.1
 info_TEXINFOS = doc/dejagnu.texi
+dejagnu_TEXINFOS = doc/fdl.texi
 
 pip-install:
 	pip3 install --upgrade -e $(top_srcdir)