aboutsummaryrefslogtreecommitdiff
path: root/readline
diff options
context:
space:
mode:
authorStu Grossman <grossman@cygnus>1991-11-19 05:29:21 +0000
committerStu Grossman <grossman@cygnus>1991-11-19 05:29:21 +0000
commit6d3cafaba8aa6356d857169eabe6929c1bee62df (patch)
tree75659420c569a4c6689b71a69b7eba9f88fb0d6e /readline
parentc617c6748909e09eb9ad45a7bb1908cb7f3e1a25 (diff)
downloadgdb-6d3cafaba8aa6356d857169eabe6929c1bee62df.zip
gdb-6d3cafaba8aa6356d857169eabe6929c1bee62df.tar.gz
gdb-6d3cafaba8aa6356d857169eabe6929c1bee62df.tar.bz2
Initial revision
Diffstat (limited to 'readline')
-rw-r--r--readline/doc/.Sanitize40
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.