]> ncurses.scripts.mit.edu Git - ncurses.git/blobdiff - man/make_sed.sh
ncurses 6.3 - patch 20221001
[ncurses.git] / man / make_sed.sh
index a0fdb0585822a60726057a6ab1464c8a63fa4de9..2a290f0b1d9f7e0e5752e1e2c7d737b4e86b16c7 100755 (executable)
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: make_sed.sh,v 1.15 2022/07/16 20:20:00 tom Exp $
+# $Id: make_sed.sh,v 1.16 2022/10/01 13:14:07 tom Exp $
 ##############################################################################
 # Copyright 2020-2021,2022 Thomas E. Dickey                                  #
 # Copyright 1998-2005,2017 Free Software Foundation, Inc.                    #
@@ -29,7 +29,7 @@
 # authorization.                                                             #
 ##############################################################################
 #
-# Author: Thomas E. Dickey 1997-2005
+# Author: Thomas E. Dickey 1997
 #
 # Construct a sed-script to perform renaming within man-pages.  Originally
 # written in much simpler form, this one accounts for the common cases of
@@ -48,7 +48,7 @@ RESULT=result$$
 rm -f $UPPER $SCRIPT $RESULT
 trap "rm -f $COL.* $INPUT $UPPER $SCRIPT $RESULT; exit 1" 1 2 3 15
 trap "rm -f $COL.* $INPUT $UPPER $SCRIPT $RESULT" 0
-fgrep -v \# "$1" | \
+${FGREP-grep -F} -v \# "$1" | \
 sed    -e 's/[ ][      ]*/     /g' >$INPUT
 
 for F in 1 2 3 4