From: Gary V. Vaughan <gary@gnu.org>
Date: Fri, 18 Jan 2008 10:49:40 +0000 (+0000)
Subject: * Makefile.am (DISTCLEANFILES): Remove libtool.dvi generated
X-Git-Tag: release-2-1b~18
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=cba380cf3f8788eef9c9ffb0217529a739a05f4f;p=thirdparty%2Flibtool.git

* Makefile.am (DISTCLEANFILES): Remove libtool.dvi generated
by 'make dvi'.
---

diff --git a/ChangeLog b/ChangeLog
index 83584419a..d82dafcc7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-01-18  Gary V. Vaughan  <gary@gnu.org>
+
+	* Makefile.am (DISTCLEANFILES): Remove libtool.dvi generated
+	by 'make dvi'.
+
 2008-01-17  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
 	* libtoolize.m4sh (func_scan_files): Avoid matching our own
diff --git a/Makefile.am b/Makefile.am
index b77be0efb..ae82e2367 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -319,6 +319,9 @@ endif
 info_TEXINFOS		= doc/libtool.texi
 doc_libtool_TEXINFOS	= doc/PLATFORMS doc/fdl.texi doc/notes.texi
 EXTRA_DIST	       += $(srcdir)/doc/notes.txt
+## Workaround for a texinfo bug described here:
+## http://thread.gmane.org/gmane.comp.tex.texinfo.bugs/3930
+DISTCLEANFILES	       += libtool.dvi
 
 all-local: $(srcdir)/doc/notes.txt