blob: 709f7d30cce531bc244b59856356b5bee98a5179 (
plain)
1
2
3
4
5
|
#!/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' $*
|