]> git.ipfire.org Git - thirdparty/libtool.git/commitdiff
* Makefile.am (DISTCLEANFILES): Remove libtool.dvi generated
authorGary V. Vaughan <gary@gnu.org>
Fri, 18 Jan 2008 10:49:40 +0000 (10:49 +0000)
committerGary V. Vaughan <gary@gnu.org>
Fri, 18 Jan 2008 10:49:40 +0000 (10:49 +0000)
by 'make dvi'.

ChangeLog
Makefile.am

index 83584419aebd471ca70a101ff01bfddd4b8ec6fc..d82dafcc7e639c6d7b17b9c8a97ce4163357009f 100644 (file)
--- 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
index b77be0efb6239d95fdaab832ff3fef5eef092622..ae82e2367348aceffb26a666ec5d42b2b7dd86e9 100644 (file)
@@ -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