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)