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_______________________________________________
dev-context mailing list
dev-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/dev-context
