diff options
author | John Gilmore <gnu@cygnus> | 1991-08-23 09:06:52 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1991-08-23 09:06:52 +0000 |
commit | 08059d84706520f75690611995e522724baa74b1 (patch) | |
tree | 86443f7a28d4ce595ddeea4a439c866461d89ebc /bfd/doc | |
parent | d7f8f106b9efaaa99a279070fcdfbac95bad483e (diff) | |
download | gdb-08059d84706520f75690611995e522724baa74b1.zip gdb-08059d84706520f75690611995e522724baa74b1.tar.gz gdb-08059d84706520f75690611995e522724baa74b1.tar.bz2 |
Initial revision
Diffstat (limited to 'bfd/doc')
-rw-r--r-- | bfd/doc/.Sanitize | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/bfd/doc/.Sanitize b/bfd/doc/.Sanitize new file mode 100644 index 0000000..b55800d --- /dev/null +++ b/bfd/doc/.Sanitize @@ -0,0 +1,60 @@ +# Sanitize.in for bfd/doc. + +# 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: + +echo Sanitizing `pwd`. + +# 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 +awkscan +awkscan-ip +awkscan-p +bfd.texinfo +blins-p +exfil1-p +exfil3-p +exfilter +exfilter-p +exfiltst +exmerge +intobfd +mergecom-p +movecom-p +scanit +scanph +sedscript +sedscript-p +startcom-p +tolibbfd +tolibcoff +unPROTO + +Do-last: + +echo Done in `pwd`. + +# $Log$ +# Revision 1.1 1991/08/23 09:06:52 gnu +# Initial revision +# + +# End of file. |