diff options
| author | Martin Hunt <hunt@redhat.com> | 1996-08-21 22:53:53 +0000 |
|---|---|---|
| committer | Martin Hunt <hunt@redhat.com> | 1996-08-21 22:53:53 +0000 |
| commit | 337350a30996abaf6e735795dd1322d52c775a70 (patch) | |
| tree | 8ac539770cd01a370fbb3b6f20260450ef2342b4 /gas/doc/.Sanitize | |
| parent | 2c2e5626349beef058e2248c4eb9929456db043a (diff) | |
| download | gdb-337350a30996abaf6e735795dd1322d52c775a70.zip gdb-337350a30996abaf6e735795dd1322d52c775a70.tar.gz gdb-337350a30996abaf6e735795dd1322d52c775a70.tar.bz2 | |
Wed Aug 21 15:50:54 1996 Martin M. Hunt <hunt@pizza.cygnus.com>
* c-d10v.texi: New file.
* all.texi: Added D10V stuff.
* as.texinfo: Added D10V stuff.
Diffstat (limited to 'gas/doc/.Sanitize')
| -rw-r--r-- | gas/doc/.Sanitize | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize index 055482e..8770cc7 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -16,6 +16,13 @@ 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 @@ -83,6 +90,37 @@ else fi done fi +if [ -n "${verbose}" ] ; then + echo Processing \"arc\"... +fi + +d10v_files="all.texi as.texinfo" +if ( echo $* | grep keep\-d10v > /dev/null ) ; then + for i in $d10v_files ; do + if test ! -d $i && (grep sanitize-d10v $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Keeping d10v stuff in $i + fi + fi + done +else + for i in $d10v_files ; do + if test ! -d $i && (grep sanitize-d10v $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Removing traces of \"d10v\" from $i... + fi + cp $i new + sed '/start\-sanitize\-d10v/,/end-\sanitize\-d10v/d' < $i > new + if [ -n "${safe}" -a ! -f .Recover/$i ] ; then + if [ -n "${verbose}" ] ; then + echo Caching $i in .Recover... + fi + mv $i .Recover + fi + mv new $i + fi + done +fi for i in * ; do if test ! -d $i && (grep sanitize $i > /dev/null) ; then |