#!/bin/sh
/bin/make -f ../master/WebMakefile CPUTYPE=`cputype`\
 THETANGLE=turing+tangle THEWEAVE=turing+weave SPIDER=turing+.spider "$@"