#!/bin/csh -f
/bin/make -f ../master/WebMakefile CPUTYPE=`cputype`\
 THETANGLE=pstangle THEWEAVE=psweave SPIDER=ps.spider \
 WEAVECHANGEFILES=weave.ch TANGLECHANGEFILES=tangle.ch \
 HOME=$HOME CFLAGS='-DC_FLOATING_POINT' $*