aboutsummaryrefslogtreecommitdiff
path: root/gas/doc
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1992-02-21 09:08:37 +0000
committerK. Richard Pixley <rich@cygnus>1992-02-21 09:08:37 +0000
commit7a11153774b74f7eaf4dff1f671059651dfa49eb (patch)
treea6445114975b988ba54108067a1f75bfea4ad6e5 /gas/doc
parent79a54a5b5260d53232499cd86818b09ea791a438 (diff)
downloadgdb-7a11153774b74f7eaf4dff1f671059651dfa49eb.zip
gdb-7a11153774b74f7eaf4dff1f671059651dfa49eb.tar.gz
gdb-7a11153774b74f7eaf4dff1f671059651dfa49eb.tar.bz2
don't keep *.dvi
Diffstat (limited to 'gas/doc')
-rw-r--r--gas/doc/.Sanitize6
1 files changed, 4 insertions, 2 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index b5259c4..adfc519 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.
#