/usr/bin/noweb is in noweb 2.11b-9.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 | #!/bin/sh
# Copyright 1991 by Norman Ramsey. All rights reserved.
# See file COPYRIGHT for more information.
# $Id: noweb.nw,v 1.3 1997/09/13 20:29:56 nr Exp nr $
# $Name: $
LIB=/usr/lib/noweb
markup=$LIB/markup mntopt=-L status=0 tex=1 output=1
while [ $# -gt 0 ]; do
case $1 in
-to|-ot) tex= output= ; shift ;;
-t) tex= ; shift ;;
-o) output= ; shift ;;
-L*) mntopt="$1" ; shift ;;
-markup) markup="$2" ; shift; shift ;;
-*) echo "Unrecognized option $1" 1>&2; exit 1 ;;
*) break ;;
esac
done
if [ $# -eq 0 ]; then echo "Usage: $0 [-L[fmt] -t -o] file [...]" 1>&2; exit 1; fi
for source do
if [ -n "$output" ]; then
PATH="$PATH:$LIB" $markup -t $source | $LIB/mnt -t8 "$mntopt" -all || status=1
fi
if [ -n "$tex" ]; then
texname=`echo $source | sed '/\./s/\.[^.]*$//'`
texname="$texname.tex"
PATH="$PATH:$LIB" $markup $source | $LIB/finduses -noquote | $LIB/noidx -delay |
awk '{print}
/^@defn [^ ]*$/ { print "@literal \\let\\nwnotused=\\nwoutput{}" }' |
$LIB/totex -delay | cpif $texname || status=1
fi
done
exit $status
|