aboutsummaryrefslogtreecommitdiff
path: root/gas/doc
diff options
context:
space:
mode:
authorRoland Pesch <pesch@cygnus>1992-02-14 00:28:22 +0000
committerRoland Pesch <pesch@cygnus>1992-02-14 00:28:22 +0000
commit0c5e345c0ffa3c3c0cf315f9edf539034e840995 (patch)
tree3cb9685409076950621ab8504c1a2577189bb793 /gas/doc
parenta262a1b2ca789b25f1aa40a80591378a59e0fa56 (diff)
downloadgdb-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/.Sanitize59
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.