diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index b5259c43e17..adfc519197d 100644
--- a/gas/doc/.Sanitize
+++ b/gas/doc/.Sanitize
@@ -31,7 +31,6 @@ a29k.m4
 all.m4
 as-m680x0.texinfo
 as.1
-as.dvi
 as.texinfo
 gen.m4
 h8.m4
@@ -51,7 +50,10 @@ echo Done in `pwd`.
 #
 #
 # $Log$
-# Revision 1.1  1992/02/14 00:28:22  pesch
+# Revision 1.2  1992/02/21 09:08:37  rich
+# don't keep *.dvi
+#
+# Revision 1.1  1992/02/14  00:28:22  pesch
 # Might as well keep the contents of the gas/doc subdir, as well as the
 # dir itself.
 #