From c78b43df2d119cdf6c0b3496b7b0a0a4e7049352 Mon Sep 17 00:00:00 2001
From: Peter Thoeny <web-hurd@gnu.org>
Date: Mon, 23 Jul 2001 07:59:07 +0000
Subject: none

---
 Test/WebPreferences.mdwn | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Test/WebPreferences.mdwn b/Test/WebPreferences.mdwn
index a32b0f54..5676ca73 100644
--- a/Test/WebPreferences.mdwn
+++ b/Test/WebPreferences.mdwn
@@ -5,8 +5,7 @@ The following settings are **_web preferences_** of the %WIKITOOLNAME%.%WEB% web
 **_Preferences:_**
 
 * List of topics of the %WIKITOOLNAME%.%WEB% web:
-  * Set WEBTOPICLIST = %WEB% . \{ [[HOMETOPIC]] | [[WebChanges]] | [[WebIndex]] | [[WebSearch]] | Go <input name="topic" size="16" type="text" />
- \}
+  * Set WEBTOPICLIST = [[HOMETOPIC]] %SEP% [[WebChanges]] %SEP% [[WebIndex]] %SEP% [[WebSearch]] %SEP% Go <input name="topic" size="16" type="text" />
 
 * Web specific background color: (Pick a lighter one of the %TWIKIWEB%.StandardColors)
   * Set WEBBGCOLOR = #D0D0D0
-- 
cgit v1.2.3