diff options
author | Joachim Nilsson <joachim@gnufans.org> | 2002-10-23 13:53:27 +0000 |
---|---|---|
committer | Joachim Nilsson <joachim@gnufans.org> | 2002-10-23 13:53:27 +0000 |
commit | 0724b150fb11781765691b329e7a72237937628d (patch) | |
tree | ffcda65b8175ad7d21898cd5e2aca2c2ddb4acaf | |
parent | ac773d5a4dc4b2383de18fa090fb4dca352a5562 (diff) |
none
-rw-r--r-- | Mig/WebPreferences.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Mig/WebPreferences.mdwn b/Mig/WebPreferences.mdwn index 4541c1fa..99dcc3dc 100644 --- a/Mig/WebPreferences.mdwn +++ b/Mig/WebPreferences.mdwn @@ -4,6 +4,9 @@ The following settings are **_web preferences_** of the %WIKITOOLNAME%.%WEB% web **_Preferences:_** +* Rename webhome for Mig web + * Set HOMETOPIC = [[MachInterfaceGenerator]] + * List of topics of the %WIKITOOLNAME%.%WEB% web: * Set WEBTOPICLIST = [[HOMETOPIC]] %SEP% [[WebChanges]] %SEP% [[WebIndex]] %SEP% [[WebSearch]] %SEP% Go <input name="topic" size="16" type="text" /> |