aboutsummaryrefslogtreecommitdiff
path: root/gas/doc
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1998-04-22 16:18:07 +0000
committerIan Lance Taylor <ian@airs.com>1998-04-22 16:18:07 +0000
commite33bfde75c0780dbd517222e15b75d2da04d50ed (patch)
tree9f02c0e1c637bfc25e42e79e0540645b751d3feb /gas/doc
parentd173ccbcbbb365f63516e9995417570045ee24ee (diff)
downloadgdb-e33bfde75c0780dbd517222e15b75d2da04d50ed.zip
gdb-e33bfde75c0780dbd517222e15b75d2da04d50ed.tar.gz
gdb-e33bfde75c0780dbd517222e15b75d2da04d50ed.tar.bz2
fix sanitization for gettext changes
Diffstat (limited to 'gas/doc')
-rw-r--r--gas/doc/.Sanitize20
1 files changed, 11 insertions, 9 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index fd5744c..3e50739 100644
--- a/gas/doc/.Sanitize
+++ b/gas/doc/.Sanitize
@@ -1,7 +1,6 @@
-# Sanitize.in for devo.
-#
+# .Sanitize for devo/gas/doc
-# Each directory to survive it's way into a release will need a file
+# Each directory to survive its 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.
@@ -12,7 +11,7 @@
# 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
+# done in this directory.
Do-first:
@@ -25,7 +24,7 @@ else
fi
# All files listed between the "Things-to-keep:" line and the
-# "Files-to-sed:" line will be kept. All other files will be removed.
+# "Do-last:" 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.
@@ -60,6 +59,12 @@ internals.texi
Things-to-lose:
+
+
+# The lines between the "Do-last:" line and the end of the file
+# are executed as a /bin/sh shell script after everything else is
+# done.
+
Do-last:
v850e_files="c-v850.texi"
@@ -146,13 +151,10 @@ else
done
fi
-# Don't try to clean directories here, as the 'mv' command will fail.
-# Also, grep fails on NFS mounted directories.
-
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then
echo '***' Some mentions of Sanitize are still left in $i! 1>&2
fi
done
-# End of file.
+# eof