3 --- inst.sh.orig 2005-05-01 23:56:21.000000000 +0200
4 +++ inst.sh 2006-10-14 20:21:40.000000000 +0200
7 # (Large) prefix inserted above by Make
9 -# BSD systems keep chown in /etc
11 +# BSD systems keep chown in different places
12 +PATH="$PATH:/usr/bin:/usr/sbin:/etc"
28 echo "Formatting online manual $MAN"
29 - echo ".... (continues in background) ...."
34 ${AWK} -f format.awk - > $MAN