summaryrefslogtreecommitdiff
path: root/web/noweb/src/shell/noweb
diff options
context:
space:
mode:
Diffstat (limited to 'web/noweb/src/shell/noweb')
-rw-r--r--web/noweb/src/shell/noweb34
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