From cba380cf3f8788eef9c9ffb0217529a739a05f4f Mon Sep 17 00:00:00 2001 From: "Gary V. Vaughan" Date: Fri, 18 Jan 2008 10:49:40 +0000 Subject: [PATCH] * Makefile.am (DISTCLEANFILES): Remove libtool.dvi generated by 'make dvi'. --- ChangeLog | 5 +++++ Makefile.am | 3 +++ 2 files changed, 8 insertions(+) diff --git a/ChangeLog b/ChangeLog index 83584419a..d82dafcc7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2008-01-18 Gary V. Vaughan + + * Makefile.am (DISTCLEANFILES): Remove libtool.dvi generated + by 'make dvi'. + 2008-01-17 Ralf Wildenhues * 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 -- 2.47.3