diff options
Diffstat (limited to 'print/tex')
-rw-r--r-- | print/tex/scripts/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/print/tex/scripts/configure b/print/tex/scripts/configure index 68fb09a10b98..de2f9d34baae 100644 --- a/print/tex/scripts/configure +++ b/print/tex/scripts/configure @@ -5,7 +5,10 @@ cd $WRKDIR || exit 1 find . -name \*.gz |xargs gunzip -f cd $WRKSRC || exit 1; - +cat >> Makefile <<'EOF' +default all: do-kpathsea + cd web2c && $(MAKE) $(makeargs) $@ +EOF ./configure --prefix=$PREFIX cd web2c |