diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2020-08-02 22:58:52 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2020-08-02 22:58:52 -0500 |
commit | 49b73747514c0dfd53e70f13a4da80a8665d15fa (patch) | |
tree | 8dc61f0d9c38c40867a82183a60bb3ca4de3d3f1 | |
parent | 76cbef3fecda49fbfa816f854166a3742fbde256 (diff) | |
download | dejagnu-49b73747514c0dfd53e70f13a4da80a8665d15fa.zip dejagnu-49b73747514c0dfd53e70f13a4da80a8665d15fa.tar.gz dejagnu-49b73747514c0dfd53e70f13a4da80a8665d15fa.tar.bz2 |
Add doc/fdl.texi to Makefile.am
-rw-r--r-- | ChangeLog | 1 | ||||
-rw-r--r-- | Makefile.am | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -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) |