diff --git a/ChangeLog b/ChangeLog
index 83584419..d82dafcc 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 b77be0ef..ae82e236 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