mailing-list for TeXmacs Users

[Nicola Mingotti <address@hidden>]

This is really good to know !

Indeed, I tried for 15 minutes to run the newly compiled

version without doing "make install", but I had to desist,

too few time for experiments in theses days ... I should have known

what you just wrote.

Thanks ! I will do it for sure on next compile and i will keep

in /usr/local/bin/ the unpatched stable relase.

bye

Nicola

On Thu, Jun 25, 2015 at 10:54 PM, Miguel de Benito Delgado <address@hidden> wrote:

On Thu, Jun 25, 2015 at 6:44 PM, Nicola Mingotti <address@hidden> wrote:

(become root)

$> make install

You don't need to make install if you are regularly running from sources. Just add (assuming bash is your shell) these lines to your .bashrc or whatever it is your config file:

export TEXMACS_HOME=blahblah/texmacs-sources/src/TeXmacs

export PATH=$PATH:TEXMACS_HOME/bin

Then logout and login back again.

Also don't forget to run texmacs --setup after doing an svn update. Things might change in the way caches are managed, etc.

--
Miguel de  Benito.