diff options
author | Karl Berry <karl@freefriends.org> | 2017-01-12 23:54:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-01-12 23:54:15 +0000 |
commit | 3789e73b704c6afd06871be5e7ae2d0f7911c259 (patch) | |
tree | ea84fbff4f1e8ebd71d27db72afe1ed9f47ecdc9 /Build/source/texk/web2c/man/ovp2ovf.man | |
parent | 5b167abd08eb9c4b77591e837262b7d786043b43 (diff) |
specify man section 1 where missing
git-svn-id: svn://tug.org/texlive/trunk@42936 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/man/ovp2ovf.man')
-rw-r--r-- | Build/source/texk/web2c/man/ovp2ovf.man | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/man/ovp2ovf.man b/Build/source/texk/web2c/man/ovp2ovf.man index dcb1e0a53df..394b3c3a776 100644 --- a/Build/source/texk/web2c/man/ovp2ovf.man +++ b/Build/source/texk/web2c/man/ovp2ovf.man @@ -1,4 +1,4 @@ -.TH OVP2OVF "16 June 2015" "Web2C @VERSION@" +.TH OVP2OVF 1 "16 June 2015" "Web2C @VERSION@" .PP .SH "NAME" ovp2ovf \- convert a virtual property-list file into a virtual font file and its associated font metric file |