binutils-gdb/gas/doc/.Sanitize
1995-09-11 20:53:46 +00:00

93 lines
2.1 KiB
Plaintext

# Sanitize.in for devo.
#
# Each directory to survive it's way into a release will need a file
# like this one called "./.Sanitize". All keyword lines must exist,
# and must exist in the order specified by this file. Each directory
# in the tree will be processed, top down, in the following order.
# Hash started lines like this one are comments and will be deleted
# before anything else is done. Blank lines will also be squashed
# out.
# The lines between the "Do-first:" line and the "Things-to-keep:"
# line are executed as a /bin/sh shell script before anything else is
# done in this
Do-first:
# 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
# called. Directories not listed will be removed in their entirety
# with rm -rf.
Things-to-keep:
Makefile.in
all.texi
as.1
as.texinfo
c-a29k.texi
c-h8300.texi
c-h8500.texi
c-hppa.texi
c-i386.texi
c-i960.texi
c-m68k.texi
c-mips.texi
c-sh.texi
c-sparc.texi
c-vax.texi
c-z8k.texi
gasp.texi
h8.texi
internals.texi
Things-to-lose:
Do-last:
# Don't try to clean directories here, as the 'mv' command will fail.
# Also, grep fails on NFS mounted directories.
if [ -n "${verbose}" ] ; then
echo Processing \"arc\"...
fi
arc_files="all.texi as.texinfo"
if ( echo $* | grep keep\-arc > /dev/null ) ; then
for i in $arc_files ; do
if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Keeping arc stuff in $i
fi
fi
done
else
for i in $arc_files ; do
if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Removing traces of \"arc\" from $i...
fi
cp $i new
sed '/start\-sanitize\-arc/,/end-\sanitize\-arc/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
echo '***' Some mentions of Sanitize are still left in $i! 1>&2
fi
done
# End of file.