diff options
author | Roland Pesch <pesch@cygnus> | 1992-02-14 00:28:22 +0000 |
---|---|---|
committer | Roland Pesch <pesch@cygnus> | 1992-02-14 00:28:22 +0000 |
commit | 0c5e345c0ffa3c3c0cf315f9edf539034e840995 (patch) | |
tree | 3cb9685409076950621ab8504c1a2577189bb793 /gas/doc | |
parent | a262a1b2ca789b25f1aa40a80591378a59e0fa56 (diff) | |
download | gdb-0c5e345c0ffa3c3c0cf315f9edf539034e840995.zip gdb-0c5e345c0ffa3c3c0cf315f9edf539034e840995.tar.gz gdb-0c5e345c0ffa3c3c0cf315f9edf539034e840995.tar.bz2 |
Might as well keep the contents of the gas/doc subdir, as well as the
dir itself.
Diffstat (limited to 'gas/doc')
-rw-r--r-- | gas/doc/.Sanitize | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize new file mode 100644 index 0000000..b5259c4 --- /dev/null +++ b/gas/doc/.Sanitize @@ -0,0 +1,59 @@ +# Sanitize.in for devo. +# $Id$ +# + +# 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 +a29k-coff.m4 +a29k.m4 +all.m4 +as-m680x0.texinfo +as.1 +as.dvi +as.texinfo +gen.m4 +h8.m4 +i80386.m4 +i960.m4 +m680x0.m4 +none.m4 +pretex.m4 +sparc.m4 +vax.m4 +vintage.m4 + +Do-last: + +echo Done in `pwd`. + +# +# +# $Log$ +# Revision 1.1 1992/02/14 00:28:22 pesch +# Might as well keep the contents of the gas/doc subdir, as well as the +# dir itself. +# + +# End of file. |