1994-09-29 08:56:20 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
1997-02-24 21:58:38 +00:00
|
|
|
cd $WRKDIR || exit 1
|
|
|
|
|
|
|
|
find . -name \*.gz |xargs gunzip -f
|
|
|
|
|
1994-10-12 03:00:12 +00:00
|
|
|
cd $WRKSRC || exit 1;
|
1997-02-10 01:57:56 +00:00
|
|
|
|
1994-10-12 03:00:12 +00:00
|
|
|
./configure --prefix=$PREFIX
|
|
|
|
|
1997-02-10 01:57:56 +00:00
|
|
|
cd web2c
|
1997-12-11 00:02:50 +00:00
|
|
|
for i in ../../tfm/*tfm; do ln -s $i; done
|
|
|
|
for i in ../../base/*tex; do ln -s $i; done
|
|
|
|
for i in ../../mf/*mf; do ln -s $i; done
|
1997-02-10 01:57:56 +00:00
|
|
|
for i in ../../lib/*mf; do ln -s $i; done
|
1994-10-12 03:00:12 +00:00
|
|
|
cp $DISTDIR/modes.mf . || exit 1;
|
|
|
|
|
|
|
|
exit 0;
|