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 /Makefile.am | |
parent | 76cbef3fecda49fbfa816f854166a3742fbde256 (diff) | |
download | dejagnu-49b73747514c0dfd53e70f13a4da80a8665d15fa.zip dejagnu-49b73747514c0dfd53e70f13a4da80a8665d15fa.tar.gz dejagnu-49b73747514c0dfd53e70f13a4da80a8665d15fa.tar.bz2 |
Add doc/fdl.texi to Makefile.am
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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) |