diff options
author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1997-10-01 21:25:30 +0000 |
---|---|---|
committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1997-10-01 21:25:30 +0000 |
commit | 317067d0abbbe678176c8605f55c5669e8bf4298 (patch) | |
tree | 5a008c422b70c10b6caa1f5dfbc5680dabfc3ceb /print/dvi2xx | |
parent | dd1612282b7745fd318cd76c15903beb8066e1b6 (diff) | |
download | ports-317067d0abbbe678176c8605f55c5669e8bf4298.tar.gz ports-317067d0abbbe678176c8605f55c5669e8bf4298.zip |
Notes
Diffstat (limited to 'print/dvi2xx')
-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 cb24e29faa5f..c53a4f7d4c2a 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. |