]> asedeno.scripts.mit.edu Git - PuTTY.git/commitdiff
Fix a FIXME and a markup error in the manual host key docs.
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Tue, 9 Sep 2014 15:08:33 +0000 (15:08 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Tue, 9 Sep 2014 15:08:33 +0000 (15:08 +0000)
[originally from svn r10224]

doc/config.but

index 7d93402c92649c5648f7f7a377cb229381e5bd28..97d94b9986f00bcf70cb16454ce56bff290c13ef 100644 (file)
@@ -2485,12 +2485,13 @@ Another reason is if PuTTY's automated host key management is
 completely unavailable, e.g. because PuTTY (or Plink or PSFTP, etc) is
 running in a Windows environment without access to the Registry. In
 that situation, you will probably want to use the \cw{-hostkey}
-command-line option to configure the expected host key(s); see FIXME.
+command-line option to configure the expected host key(s); see
+\k{using-cmdline-hostkey}.
 
 To configure manual host keys via the GUI, enter some text describing
 the host key into the edit box in the \q{Manually configure host keys
 for this connection} container, and press the \q{Add} button. The text
-will appear in the {q Host keys or fingerprints to accept} list box.
+will appear in the \q{Host keys or fingerprints to accept} list box.
 You can remove keys again with the \q{Remove} button.
 
 The text describing a host key can be in one of the following formats: