changeprefix

This program is a RADIUS RFC-compliant daemon, which is derived from original Livingston Enterprise

#!/bin/sh
#
# $Id: changeprefix,v 1.1.2.1 2004/08/02 18:40:06 flovergine Exp $
#
# Copyright (C) 2004 Francesco P. Lovergine <[e-mail]>
# All rights reserved.
#
# This script changes PREFIX entry in the man pages. To be used in
# configure.in
#
# $1 is the directory where man pages to be processed resides.
# $2 is the prefix to use, as defined at configuration time.
#

[ $# -eq 2 ] || exit 1;

ECHO="`pwd`/scripts/shtool echo -e"

$ECHO -n "preprocessing man pages..."

for name in $1/*.man
do
	new=$1/`basename $name .man`
	prefix=`echo $2 |sed -e 's/\\//\\\\\\//g'`
	script="s/PREFIX/$prefix/g"
	sed -e $script $name > $new
done

$ECHO "done."

exit 0;