diff options
Diffstat (limited to 'man/make_sed.sh')
| -rwxr-xr-x | man/make_sed.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/man/make_sed.sh b/man/make_sed.sh index 92e35eb..30e3a77 100755 --- a/man/make_sed.sh +++ b/man/make_sed.sh @@ -1,7 +1,7 @@ #!/bin/sh -# $Id: make_sed.sh,v 1.11 2020/02/02 23:34:34 tom Exp $ +# $Id: make_sed.sh,v 1.12 2021/06/17 21:20:30 tom Exp $ ############################################################################## -# Copyright 2020 Thomas E. Dickey # +# Copyright 2020,2021 Thomas E. Dickey # # Copyright 1998-2005,2017 Free Software Foundation, Inc. # # # # Permission is hereby granted, free of charge, to any person obtaining a # @@ -58,7 +58,7 @@ done for F in 2 4 do tr abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ <$COL.$F >$UPPER - mv $UPPER $COL.$F + mv $UPPER $COL.$F done paste $COL.* | \ sed -e 's/^/s\/\\</' \ |