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

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

(limited to 'Main')

diff --git a/Main/WebPreferences.mdwn b/Main/WebPreferences.mdwn
index 75c045c9..fee1d4a2 100644
--- a/Main/WebPreferences.mdwn
+++ b/Main/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]] | [[WIKIUSERSTOPIC]] | [[TWikiGroups]] | [[OfficeLocations]] | [[WebChanges]] | [[WebIndex]] | [[WebSearch]] | Go <input name="topic" size="16" type="text" />
- \}
+  * Set WEBTOPICLIST = [[HOMETOPIC]] %SEP% [[WIKIUSERSTOPIC]] %SEP% [[TWikiGroups]] %SEP% [[OfficeLocations]] %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 = #FFFFC0
-- 
cgit v1.2.3