diff options
author | Stu Grossman <grossman@cygnus> | 1991-11-19 05:29:21 +0000 |
---|---|---|
committer | Stu Grossman <grossman@cygnus> | 1991-11-19 05:29:21 +0000 |
commit | 6d3cafaba8aa6356d857169eabe6929c1bee62df (patch) | |
tree | 75659420c569a4c6689b71a69b7eba9f88fb0d6e /readline/doc | |
parent | c617c6748909e09eb9ad45a7bb1908cb7f3e1a25 (diff) | |
download | gdb-6d3cafaba8aa6356d857169eabe6929c1bee62df.zip gdb-6d3cafaba8aa6356d857169eabe6929c1bee62df.tar.gz gdb-6d3cafaba8aa6356d857169eabe6929c1bee62df.tar.bz2 |
Initial revision
Diffstat (limited to 'readline/doc')
-rw-r--r-- | readline/doc/.Sanitize | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/readline/doc/.Sanitize b/readline/doc/.Sanitize new file mode 100644 index 0000000..d73bf6c --- /dev/null +++ b/readline/doc/.Sanitize @@ -0,0 +1,40 @@ +# 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 +hist.texinfo +hstech.texinfo +hsuser.texinfo +rlman.texinfo +rltech.texinfo +rluser.texinfo +texindex.c +texinfo.tex + +Do-last: + +# End of file. |