diff --git a/scripts/remove_COLOPHON.sh b/scripts/remove_COLOPHON.sh new file mode 100644 index 000000000..0f56d203d --- /dev/null +++ b/scripts/remove_COLOPHON.sh @@ -0,0 +1,13 @@ +#!/bin/sh +# +# remove_COLOPHON.sh +# +# Remove the COLOPHON section from the man pages provided as +# command-line arguments. (This is useful to remove the COLOPHON +# sections from all of the man pages in two different release trees +# in order to do a "diff -ruN" to see the "real" differences between +# the trees.) +# +for f in "$@"; do + sed -i '/^\.SH COLOPHON/,$d' "$f" +done