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/TeXmacsexport PATH=$PATH:TEXMACS_HOME/binThen 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.
Archive powered by MHonArc 2.6.19.