diff options
author | K. Richard Pixley <rich@cygnus> | 1992-02-21 09:08:37 +0000 |
---|---|---|
committer | K. Richard Pixley <rich@cygnus> | 1992-02-21 09:08:37 +0000 |
commit | 7a11153774b74f7eaf4dff1f671059651dfa49eb (patch) | |
tree | a6445114975b988ba54108067a1f75bfea4ad6e5 /gas | |
parent | 79a54a5b5260d53232499cd86818b09ea791a438 (diff) | |
download | gdb-7a11153774b74f7eaf4dff1f671059651dfa49eb.zip gdb-7a11153774b74f7eaf4dff1f671059651dfa49eb.tar.gz gdb-7a11153774b74f7eaf4dff1f671059651dfa49eb.tar.bz2 |
don't keep *.dvi
Diffstat (limited to 'gas')
-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. # |