mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Hi Chu-Ching,

On Thu, Aug 21, 2008 at 08:27:12AM +0800, chu-ching huang wrote:
> Just download TeXmacs-1.0.6.15 to upgrade. But some changes I found:
> 
> 1. In ./configure --prefix=/usr/local
>    seems have to add new option as:
>    ./configure --prefix=/usr/local --datarootdir=/usr/local/share
> Otherwise, the dir 
>     /usr/local/share/TeXmacs
> will be installed in
>     /TeXmacs
> but not in /usr/local/share/TeXmacs" as before.
> 
> 2. As option above added, we have to modify /usr/local/bin/texmacs by 
> adding 
> the follwing line as:
>     datarootdir="${prefix}/share"
> 
> 3. "man" directory is always installed in /usr/local/share whatever prefix 
> is 
> set (?)

Thanks for noticing this bug; I just uploaded a new version.
Please check whether my fix is correct.

Best wishes, Joris


> 4. maxima-5.15 still not supported by tm_maxima: modify line 20 in 
> tm_maxima:
>     .11.* | 5.12.* | 5.13.* | 5.14.* | 5.15.*) exec maxima ...
> to use version maxima-5.15 in TeXmacs.

Done on the CVS.

Thanks, Joris