[Python-Dev] The docs, reloaded

["Martin v. Löwis"]

>     Georg> So, that's not really a concern of mine ;)
> 
> You must realize that people will use the core tools to create documentation
> for third party packages which aren't in the core.  If you replace LaTeX
> with something else I think you need to keep math in mind whether it's used
> in the core documentation or not.

I disagree. The documentation infrastructure of Python should only
consider the needs of Python itself. If other people can use that
infrastructure for other purposes, fine - if they find that it does
not meet their needs, they have to look elsewhere.

We are developing a programming language here, not a typesetting
system.

Regards,
Martin