darlinghq/darling-gdb
1
0
Fork 0
mirror of https://github.com/darlinghq/darling-gdb.git synced 2024-11-29 06:50:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Keep/lose gdbtk docs

Browse Source
This commit is contained in:
Stan Shebs 1995-01-07 01:21:01 +00:00
parent 22cb0aa7dd
commit 237eaf373f
1 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
gdb/doc/.Sanitize
View File

@ -15,6 +15,23 @@
Do-first:
# Note that gdbgui.texinfo is actually a generic document, but right
# now it only describes gdbtk, so we keep/lose as a gdbtk file.
gdbtk_files="gdbgui.texinfo"
if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
keep_these_too="${gdbtk_files} ${keep_these_too}"
if [ -n "${verbose}" ] ; then
echo Keeping ${gdbtk_files}
fi
else
lose_these_too="${gdbtk_files} ${lose_these_too}"
if [ -n "${verbose}" ] ; then
echo Deleting ${gdbtk_files}
fi
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.
# Directories listed in this section will have their own Sanitize
@ -54,4 +71,29 @@ snapshots.readme
Do-last:
echo Catering to RMS by removing traces of \"gdbtk\"...
# Don't try to clean directories here, as the 'mv' command will fail.
# Also, grep fails on NFS mounted directories.
if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
for i in * ; do
if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
echo Keeping gdbtk stuff in $i
fi
done
else
for i in * ; do
if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
echo Removing traces of \"gdbtk\" out of $i...
cp $i new
sed '/start\-sanitize\-gdbtk/,/end-\sanitize\-gdbtk/d' < $i > new
if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
echo Caching $i in .Recover...
mv $i .Recover
fi
mv new $i
fi
done
fi
# End of file.