]> asedeno.scripts.mit.edu Git - PuTTY.git/commitdiff
Fix misleading parameter name.
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 5 Apr 2008 12:26:49 +0000 (12:26 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 5 Apr 2008 12:26:49 +0000 (12:26 +0000)
[originally from svn r7970]

doc/man-pter.but

index 12da5921d4dde970bd8ee2329b18f92b71b94098..df7b1728e54551dcb9fe3e0271141dbfaaa8fe50 100644 (file)
@@ -40,7 +40,7 @@ option has a double minus sign, even though none of the others do.
 This is because this option is supplied automatically by GTK.
 Sorry.)
 
-\dt \cw{\-name} \e{font-name}
+\dt \cw{\-name} \e{name}
 
 \dd Specify the name under which \cw{pterm} looks up X resources.
 Normally it will look them up as (for example) \cw{pterm.Font}. If