diff options
| -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. |