mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] changes about TeXmacs-1.0.6.15 installing(?)


Chronological Thread 
  • From: Joris van der Hoeven <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] changes about TeXmacs-1.0.6.15 installing(?)
  • Date: Fri, 22 Aug 2008 19:47:37 +0200

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



Archive powered by MHonArc 2.6.19.

Top of page