From 4efe692e88319c1bde03f579c21f5e93e91d9638 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Fri, 7 Mar 2003 09:03:11 +0000
Subject: [PATCH] Overnight docs build found a duplicate section keyword. Oops.
 Fixed.

[originally from svn r2921]
---
 doc/config.but | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/config.but b/doc/config.but
index 18af04cf..768610af 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,4 +1,4 @@
-\versionid $Id: config.but,v 1.58 2003/03/06 12:51:12 simon Exp $
+\versionid $Id: config.but,v 1.59 2003/03/07 09:03:11 simon Exp $
 
 \C{config} Configuring PuTTY
 
@@ -856,7 +856,7 @@ terminal contents. You can disable this behaviour by turning off
 screen revert when you press a key, by turning on \q{Reset
 scrollback on keypress}.
 
-\S{config-scrollback} \q{Push erased text into scrollback}
+\S{config-erasetoscrollback} \q{Push erased text into scrollback}
 
 \cfg{winhelp-topic}{window.erased}