/bin/make -f ../master/WebMakefile CPUTYPE=`cputype`\
 THETANGLE=awktangle THEWEAVE=awkweave SPIDER=awk.spider \
SPIDERCHANGEFILE=../master/spider.ltx WEAVECHANGEFILE=../master/weave.ltx \
TANGLECHANGEFILE=../master/tangle.ltx \
CFLAGS='-O1 -DC_FLOATING_POINT -DLaTeX' LaTeX=1 $*