On Mon, May 10, 2010 at 03:50:40PM -0400, Aditya Mahajan wrote:
On Mon, 10 May 2010, Peter Münster wrote:
On Mon, May 10 2010, Taco Hoekwater wrote:
I would much prefer working on the wiki, then export to .tex with a script. Having two sources for what is essentially the same information is asking for trouble, imo.
Hello Taco,
There is not enough structure on the wiki. I imagine a script that exports parts of the wiki to tex, but additional information has to be entered in the tex-files (are arguments optional or not, etc.).
Maybe, we can have an infobox for the wiki pages, so we can say something like
{{ Infobox command | name = setupframed | ... }}
It also makes editing the wiki much easier (using also wiki tables instead of HTML tables etc.) -- Khaled Hosny Arabic localiser and member of Arabeyes.org team Free font developer