diff options
author | Nick Clifton <nickc@redhat.com> | 1997-12-16 16:04:57 +0000 |
---|---|---|
committer | Nick Clifton <nickc@redhat.com> | 1997-12-16 16:04:57 +0000 |
commit | 085e370b464a9674f5515f1b6812fa1939d5f6fc (patch) | |
tree | 2f1ffac7142eb221d02c29b61848a815f4f5ba30 /gas/doc | |
parent | 6f1e21508b50e5316956786c1c67944f78431adf (diff) | |
download | gdb-085e370b464a9674f5515f1b6812fa1939d5f6fc.zip gdb-085e370b464a9674f5515f1b6812fa1939d5f6fc.tar.gz gdb-085e370b464a9674f5515f1b6812fa1939d5f6fc.tar.bz2 |
Fixed m32rx sanitization
Diffstat (limited to 'gas/doc')
-rw-r--r-- | gas/doc/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize index f4798da..1c14dc9 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -82,7 +82,7 @@ else done fi -m32rx_files="c-m32rx.texi as.texinfo" +m32rx_files="c-m32r.texi as.texinfo" if ( echo $* | grep keep\-m32rx > /dev/null ) ; then for i in $m32rx_files ; do if test ! -d $i && (grep sanitize-m32rx $i > /dev/null) ; then |