mailing-list for TeXmacs Users

["chu-ching huang" <address@hidden>]

Hi,

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 (?)

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.

Best wishes,
cch