possibility of making wxMaxima the default GUI (instead of Xmaxima)
Subject: possibility of making wxMaxima the default GUI (instead of Xmaxima)
From: Vadim V. Zhytnikov
Date: Mon, 27 Mar 2006 23:52:04 +0300
Andrej Vodopivec writes:
> Currently wxMaxima includes private copy of documentation. It would be
> possible to use HTML files installed by maxima. But maxima would need
> to install three more index files which are used by help dialog. I use
> a python script to generate them from maxima_toc.html file.
>
No problem.
I see that their size is nothing compared to main documentation.
Is this python script available in wxMaxima CVS?
--
Vadim V. Zhytnikov
<vvzhy at mail.ru>
<vvzhy at netorn.ru>