diff options
Diffstat (limited to 'gas/doc/.Sanitize')
| -rw-r--r-- | gas/doc/.Sanitize | 6 |
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. # |