diff options
| author | Dimitar Dimitrov <dimitar@dinux.eu> | 2020-12-14 23:00:30 +0200 |
|---|---|---|
| committer | Jacob Bachmeyer <jcb@gnu.org> | 2020-12-15 20:53:20 -0600 |
| commit | 88a996a781c2b20d357c85f4ea4f52afa1d05a7f (patch) | |
| tree | 37645cdc38ef63e49381882e5c33ff68433de55f /Makefile.am | |
| parent | 9950000f4ec0f6cd2c5afbc8ec5413391c20a535 (diff) | |
| download | dejagnu-88a996a781c2b20d357c85f4ea4f52afa1d05a7f.zip dejagnu-88a996a781c2b20d357c85f4ea4f52afa1d05a7f.tar.gz dejagnu-88a996a781c2b20d357c85f4ea4f52afa1d05a7f.tar.bz2 | |
Fix dejagnu.texi dependency declaration
This fixes "make distcheck" on my Debian 10 system.
Test I did:
autoreconf -vfi
./configure
make
make distcheck
ChangeLog:
* Makefile.am: Fix dejagnu.texi dependency.
Signed-off-by: Dimitar Dimitrov <dimitar@dinux.eu>
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index bd5b0fc..29fa4f4 100644 --- a/Makefile.am +++ b/Makefile.am @@ -229,7 +229,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 +doc_dejagnu_TEXINFOS = doc/fdl.texi pip-install: pip3 install --upgrade -e $(top_srcdir) |