diff options
Diffstat (limited to 'systems/unix/tex-fpc/shell/wve')
-rwxr-xr-x | systems/unix/tex-fpc/shell/wve | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/systems/unix/tex-fpc/shell/wve b/systems/unix/tex-fpc/shell/wve new file mode 100755 index 0000000000..a445975cb6 --- /dev/null +++ b/systems/unix/tex-fpc/shell/wve @@ -0,0 +1,6 @@ +case $# in +1) b=`basename $1 .web`; weave $1 /dev/null $b.tex;; +2) b=`basename $1 .web`; weave $1 $2 $b.tex;; +*) echo Usage: `basename $0` web-file [ ch-file ]; exit 1 +esac && \ +tex $b |