[PATCH 58/61] man/make_sed.sh: Annotate origin of generated sed script.

[G. Branden Robinson]

---
 man/make_sed.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/man/make_sed.sh b/man/make_sed.sh
index 2b9ea9f5..151a56e1 100755
--- a/man/make_sed.sh
+++ b/man/make_sed.sh
@@ -66,6 +66,7 @@ sed   -e 's/^/s\/\\</' \
        -e 's/$/\//' >$UPPER
 
 {
+echo "# This script was generated from '$1' by man/make_sed.sh."
 echo "# Do the TH lines"
 sed    -e 's/\//\/TH /' \
        -e 's/  / /' \
-- 
2.30.2

signature.asc
Description: PGP signature