diff options
| author | Peter Thoeny <web-hurd@gnu.org> | 2001-07-23 08:00:37 +0000 |
|---|---|---|
| committer | Peter Thoeny <web-hurd@gnu.org> | 2001-07-23 08:00:37 +0000 |
| commit | f3874ba70becd863415eabd6bf447b5bf3ad4380 (patch) | |
| tree | 4e4b3f6dc5853da2de4510013649738f6393a07f | |
| parent | c78b43df2d119cdf6c0b3496b7b0a0a4e7049352 (diff) | |
none
| -rw-r--r-- | Know/WebPreferences.mdwn | 3 |
1 files changed, 1 insertions, 2 deletions
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 |