Maxima i18n



> 3. All .html is still in ISO-8859-1.  Must
> be fixed.

I don't think so. There are *lots* of websites using latin1
or latin9 encoding. Every sane www-browser should be able
to handle that. No matter what's the local locale.

> 5. Very serious portability problem.
> Which program to use for ISO->UTF conversion?
> For Linux the natural choice is iconv -- this
> program is part of glibc and must be
> present on all modern Linux distros.
> But what about other UNIX?  I don't know.
> Recode?  Any other ideas?

If in doubt, I would add an option to the configure script,
to do that. (And wait for patches from people who actually 
use some other system...)

Regards,
Harald