diff options
Diffstat (limited to 'web/noweb/src/shell/noweb')
-rw-r--r-- | web/noweb/src/shell/noweb | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/web/noweb/src/shell/noweb b/web/noweb/src/shell/noweb new file mode 100644 index 0000000000..0264a46905 --- /dev/null +++ b/web/noweb/src/shell/noweb @@ -0,0 +1,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 $ +# $Name: $ +LIB=|LIBDIR| +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 | + nawk '{print} + /^@defn [^ ]*$/ { print "@literal \\let\\nwnotused=\\nwoutput{}" }' | + $LIB/totex -delay | cpif $texname || status=1 + fi +done +exit $status |