diff options
Diffstat (limited to 'systems/unix/tex-fpc/shell/itgl')
-rwxr-xr-x | systems/unix/tex-fpc/shell/itgl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/systems/unix/tex-fpc/shell/itgl b/systems/unix/tex-fpc/shell/itgl index 2fca45acc6..d73dabd4fd 100755 --- a/systems/unix/tex-fpc/shell/itgl +++ b/systems/unix/tex-fpc/shell/itgl @@ -1,6 +1,7 @@ +# Tangles and then compiles web files. Keeps the pool file. case $# in 1) b=`basename $1 .web`; tangle $1 /dev/null ini$b.p $b.pool;; 2) b=`basename $2 .ch`; tangle $1 $2 ini$b.p $b.pool;; *) echo Usage: `basename $0` web-file [ ch-file ] ; exit 1 esac && \ -fpc ini$b.p +fpc -Fasysutils,baseunix,unix ini$b.p |