[Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
To: |
undisclosed-recipients: ; |
Subject: |
[Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual |
From: |
"Per I. Mathisen" <per@xxxxxxxxxxx> |
Date: |
Thu, 12 Aug 2004 04:33:16 -0700 |
Reply-to: |
rt@xxxxxxxxxxx |
<URL: http://rt.freeciv.org/Ticket/Display.html?id=9685 >
On Thu, 12 Aug 2004, Per I. Mathisen wrote:
> This is a first, experimental patch to make the server output its own
> manual. Use the command "/manual" to write the files "manual1.txt" and
> "manual2.txt". The latter is currently empty, the former contains all
> server options described in the wiki format.
>
> Problem: The resulting file is long (22kb), and cut'n'paste into the wiki
> edit box is extremely tedious. We cannot upload whole pages into the wiki
> either. Any suggestions?
Tiny example (first options only):
http://www.freeciv.org/wiki/index.php/Server_manual_for_version_2.0
No doubt it can be made prettier.
- Per
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual,
Per I. Mathisen <=
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Christian Knoke, 2004/08/12
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Per I. Mathisen, 2004/08/14
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Per I. Mathisen, 2004/08/14
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Jason Short, 2004/08/16
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Per I. Mathisen, 2004/08/19
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Jason Short, 2004/08/19
- [Freeciv-Dev] Re: (PR#9685) Make server create a wiki server manual, Jason Short, 2004/08/19
- [Freeciv-Dev] (PR#9685) manual autogenerator, Per I. Mathisen, 2004/08/20
|
|