diff options
author | Karl Berry <karl@freefriends.org> | 2007-04-20 18:44:00 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-04-20 18:44:00 +0000 |
commit | bc884f6530791b41a67712cc5ea9ffbef0f2b2d9 (patch) | |
tree | e1a0c55e9aae9e8cdd03b5d54b589a5bb266f525 /Build/source/texk/web2c | |
parent | ffb77837d028803600ad168facecb06d04cc9e81 (diff) |
no way to override output filename for gftodvi
(from Werner, 20 Apr 2007 06:43:31).
git-svn-id: svn://tug.org/texlive/trunk@4163 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c')
-rw-r--r-- | Build/source/texk/web2c/man/gftodvi.man | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/man/gftodvi.man b/Build/source/texk/web2c/man/gftodvi.man index eb152fe5f99..3bdcbd643c3 100644 --- a/Build/source/texk/web2c/man/gftodvi.man +++ b/Build/source/texk/web2c/man/gftodvi.man @@ -1,4 +1,4 @@ -.TH GFTODVI 1 "14 December 1993" "Web2C @VERSION@" +.TH GFTODVI 1 "20 April 2007" "Web2C @VERSION@" .\"===================================================================== .if n .ds MF Metafont .if t .ds MF M\s-2ETAFONT\s0 @@ -102,7 +102,7 @@ on the command line must be complete. (The program prompts you for it if you don't give it.) Because the resolution is part of the extension, it would not make sense to append a default extension as is done with \*(TX or -DVI-reading software. The output file name defaults to the same +DVI-reading software. The output file name uses the same root as the .I gf file, with the |