diff options
author | jmz <jmz@FreeBSD.org> | 1997-10-02 05:25:30 +0800 |
---|---|---|
committer | jmz <jmz@FreeBSD.org> | 1997-10-02 05:25:30 +0800 |
commit | 80fc3e368f4e24ed2ff5e9528a7692ba9133538f (patch) | |
tree | 83b87590db605b273befd83218429c0af9c1e902 | |
parent | ca5520fcc6e04a033923f60da07ffeaad478d91a (diff) | |
download | freebsd-ports-graphics-80fc3e368f4e24ed2ff5e9528a7692ba9133538f.tar.gz freebsd-ports-graphics-80fc3e368f4e24ed2ff5e9528a7692ba9133538f.tar.zst freebsd-ports-graphics-80fc3e368f4e24ed2ff5e9528a7692ba9133538f.zip |
Slight change in MakeTeXPK script: gftopk uses the -verbose flag (instead
of -v)
-rw-r--r-- | print/dvi2xx/scripts/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print/dvi2xx/scripts/configure b/print/dvi2xx/scripts/configure index cb24e29faa5..c53a4f7d4c2 100644 --- a/print/dvi2xx/scripts/configure +++ b/print/dvi2xx/scripts/configure @@ -169,7 +169,7 @@ then exit 1 fi -gftopk -v ./$GFNAME ./$PKNAME +gftopk -verbose ./$GFNAME ./$PKNAME # Install the PK file carefully, since others may be doing the same # as us simultaneously. |