diff options
| author | Ian Lance Taylor <ian@airs.com> | 1997-02-27 23:34:14 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1997-02-27 23:34:14 +0000 |
| commit | 8a683c67207980baf35c8a94c2bb21fb2fde2a3d (patch) | |
| tree | fe416e3603988b6404eb67c560c5fe51ec758f81 /gas/doc/.Sanitize | |
| parent | a88ce21e33d7d60d8db3e84aa9455b63a974b8f6 (diff) | |
| download | gdb-8a683c67207980baf35c8a94c2bb21fb2fde2a3d.zip gdb-8a683c67207980baf35c8a94c2bb21fb2fde2a3d.tar.gz gdb-8a683c67207980baf35c8a94c2bb21fb2fde2a3d.tar.bz2 | |
remove d10v sanitization
Diffstat (limited to 'gas/doc/.Sanitize')
| -rw-r--r-- | gas/doc/.Sanitize | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize index 0ffaa20..49d14f0 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -16,13 +16,6 @@ Do-first: -d10v_files="c-d10v.texi" -if ( echo $* | grep keep\-d10v > /dev/null ) ; then - keep_these_too="${d10v_files} ${keep_these_too}" -else - lose_these_too="${d10v_files} ${lose_these_too}" -fi - # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize @@ -36,6 +29,7 @@ all.texi as.1 as.texinfo c-a29k.texi +c-d10v.texi c-h8300.texi c-h8500.texi c-hppa.texi |