#!/bin/sh
-# $Id: make_sed.sh,v 1.18 2023/11/25 14:31:18 tom Exp $
+# $Id: make_sed.sh,v 1.19 2023/12/07 01:16:43 tom Exp $
##############################################################################
# Copyright 2020-2022,2023 Thomas E. Dickey #
# Copyright 1998-2005,2017 Free Software Foundation, Inc. #
$UPPER
echo "# Do the embedded references"
-sed -e 's/</<fB/' \
+sed -e 's/</<fB\\(\\\\%\\)\\?/' \
+ -e 's/\\%</\\%/' \
-e 's/ /\\\\fP(/' \
- -e 's/ /)\/fB/' \
+ -e 's/ /)\/fB\\\\%/' \
-e 's/ /\\\\fP(/' \
-e 's/\/$/)\//' \
$UPPER