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

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

(limited to 'Know')

diff --git a/Know/WebPreferences.mdwn b/Know/WebPreferences.mdwn
index 9a73362a..0ee0eed9 100644
--- a/Know/WebPreferences.mdwn
+++ b/Know/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]] | [[ReadmeFirst]] | [[WebChanges]] | [[WebIndex]] | [[WebSearch]] | Go <input name="topic" size="16" type="text" />
- \}
+  * Set WEBTOPICLIST = [[HOMETOPIC]] %SEP% [[ReadmeFirst]] %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 = #D0FFD0
-- 
cgit v1.2.3