diff options
author | Ian Lance Taylor <ian@airs.com> | 1998-04-22 16:18:07 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@airs.com> | 1998-04-22 16:18:07 +0000 |
commit | e33bfde75c0780dbd517222e15b75d2da04d50ed (patch) | |
tree | 9f02c0e1c637bfc25e42e79e0540645b751d3feb /gas/doc | |
parent | d173ccbcbbb365f63516e9995417570045ee24ee (diff) | |
download | gdb-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/.Sanitize | 20 |
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 |