aboutsummaryrefslogtreecommitdiff
path: root/.Sanitize
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1991-05-23 17:32:34 +0000
committerK. Richard Pixley <rich@cygnus>1991-05-23 17:32:34 +0000
commita93b3c77d5239e6168576ceef385e360ceb637a3 (patch)
tree6a839ef882412f700bfab69d49364efc015fc830 /.Sanitize
parentd4d5412d46f79ce09815ca836028a8f6719b1fc1 (diff)
downloadgdb-a93b3c77d5239e6168576ceef385e360ceb637a3.zip
gdb-a93b3c77d5239e6168576ceef385e360ceb637a3.tar.gz
gdb-a93b3c77d5239e6168576ceef385e360ceb637a3.tar.bz2
Initial revision
Diffstat (limited to '.Sanitize')
-rw-r--r--.Sanitize58
1 files changed, 58 insertions, 0 deletions
diff --git a/.Sanitize b/.Sanitize
new file mode 100644
index 0000000..699a3d6
--- /dev/null
+++ b/.Sanitize
@@ -0,0 +1,58 @@
+# 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:
+
+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:
+
+INSTALL
+Makefile.in
+README.configure
+config
+configure
+configure.in
+gas
+gnulib
+include
+libiberty
+readline
+
+Do-last:
+
+echo Done in `pwd`.
+
+#
+#
+# $Log$
+# Revision 1.1 1991/05/23 17:32:34 rich
+# Initial revision
+#
+# Revision 1.1 1991/05/23 17:18:12 rich
+# Initial revision
+#
+#
+#
+
+# End of file.