10 May
2010
10 May
'10
7:50 p.m.
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 | ... }} That way, it will be easier to export to TeX (no need to parse raw HTML). Aditya