aboutsummaryrefslogtreecommitdiff
path: root/gas/doc
diff options
context:
space:
mode:
authorKen Raeburn <raeburn@cygnus>1993-05-17 20:10:15 +0000
committerKen Raeburn <raeburn@cygnus>1993-05-17 20:10:15 +0000
commitd3dd198cf01879ef9ddab00bf1ad8a0108de61ff (patch)
tree4bd9ee567b6be5aa12ae9d94873dc3ebdf87a5b0 /gas/doc
parent2989a84ef491fb2bf7c05e6f67c03d7ff8339e2d (diff)
downloadgdb-d3dd198cf01879ef9ddab00bf1ad8a0108de61ff.zip
gdb-d3dd198cf01879ef9ddab00bf1ad8a0108de61ff.tar.gz
gdb-d3dd198cf01879ef9ddab00bf1ad8a0108de61ff.tar.bz2
Steve sez SH stuff is public now
Diffstat (limited to 'gas/doc')
-rw-r--r--gas/doc/.Sanitize25
1 files changed, 4 insertions, 21 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index 852ec77..f32f9c9 100644
--- a/gas/doc/.Sanitize
+++ b/gas/doc/.Sanitize
@@ -34,30 +34,13 @@ h8.texi
Do-last:
-shdirty="as.texinfo h8.texi all.texi"
-
-if ( echo $* | grep keep\-sh > /dev/null ) ; then
- echo Keeping Hitachi SH in ${shdirty}
-else
- for i in ${shdirty} ; do
- echo Sanitizing Hitachi SH in $i
- rm -f new
- sed '/start\-sanitize\-Hitachi\-SH/,/^end\-sanitize\-Hitachi\-SH/d' < $i > new
- if grep -s "[- ]SH" new ; then
- echo *****SANITIZING HITACHI SH IN $i FAILED*****
- fi
- if [ -n "${safe}" ] ; then
- mv $i .Recover
- else
- rm $i
- fi
- mv new $i
- done
-fi
#
#
# $Log$
-# Revision 1.12 1993/04/21 01:00:59 pesch
+# Revision 1.13 1993/05/17 20:10:15 raeburn
+# Steve sez SH stuff is public now
+#
+# Revision 1.12 1993/04/21 01:00:59 pesch
# adhere to "start-sanitize-FOO" and "end-sanitize-FOO" convention
#
# Revision 1.11 1993/04/15 23:55:45 pesch