dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] Fix dejagnu.texi dependency declaration


From: Dimitar Dimitrov
Subject: [PATCH] Fix dejagnu.texi dependency declaration
Date: Mon, 14 Dec 2020 23:00:30 +0200

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>
---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.20.1




reply via email to

[Prev in Thread] Current Thread [Next in Thread]