diff options
| author | Ian Lance Taylor <ian@airs.com> | 1997-12-18 08:52:31 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1997-12-18 08:52:31 +0000 |
| commit | bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4 (patch) | |
| tree | 88f3789bfaf89041cc4a0b98fa25f555c9a14515 /gas/doc | |
| parent | b463948b73e824f046adb47bd263e2b958736e0f (diff) | |
| download | gdb-bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4.zip gdb-bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4.tar.gz gdb-bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4.tar.bz2 | |
fix d30v 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 032dd65..fd5744c 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -90,7 +90,7 @@ else done fi -v850e_files="c-d30v.texi as.texinfo all.texi" +d30v_files="as.texinfo all.texi" if ( echo $* | grep keep\-d30v > /dev/null ) ; then for i in $d30v_files ; do if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then |