mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

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.