mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-06-23 13:57:58 +02:00
Chet Ramey
43 lines
957 B
Bash
Executable File
43 lines
957 B
Bash
Executable File
#! /bin/sh
|
|
#
|
|
# mkrbash - make the RBASH file from the `The Restricted Shell' node
|
|
# of the texinfo manual
|
|
#
|
|
|
|
# defaults for doing this in the source tree
|
|
SRCDIR=.
|
|
TOPDIR=..
|
|
|
|
NODE="The Restricted Shell"
|
|
TEXI=bashref.texi
|
|
TMPINFO=temp.info
|
|
TMPOUT=RBASH.tmp
|
|
|
|
prog=${0##*/}
|
|
USAGE="usage: $prog [-s srcdir] [-t topdir] [output-file]"
|
|
while getopts s:t: opt
|
|
do
|
|
case "$opt" in
|
|
s) SRCDIR=$OPTARG TEXI=${OPTARG}/bashref.texi ;;
|
|
t) TOPDIR=$OPTARG ;;
|
|
*) echo "$USAGE" >&2 ; exit 2 ;;
|
|
esac
|
|
done
|
|
shift $(( $OPTIND - 1 ))
|
|
|
|
OUT=${1:-RBASH}
|
|
|
|
trap 'rm -f $TMPOUT $TMPINFO $OUT; trap '' 0; exit 1' 1 2 3 6 15
|
|
trap 'rm -f $TMPOUT $TMPINFO' 0
|
|
|
|
# create an info file without paragraph indentation
|
|
RLDIR=${TOPDIR}/lib/readline/doc
|
|
makeinfo --no-split -I${RLDIR} --paragraph-indent 0 -o $TMPINFO $TEXI
|
|
|
|
# write out the text from the `The Restricted Shell' node to $TMPOUT
|
|
info --file $TMPINFO --node "$NODE" --subnodes --output $TMPOUT
|
|
|
|
sed 1,2d < $TMPOUT > $OUT
|
|
|
|
exit 0
|