Dear Giovanni, you do not need to install to run. From the command line just execute something like
TEXMACS_PATH=./TeXmacs ./TeXmacs/bin/texmacs.bin and you will run the version you like. (provided you do it in the right directory) Max > On 5. May 2021, at 16:20, Giovanni <pired...@posteo.de> wrote: > > > On 05.05.21 15:46, TeXmacs wrote: >> >> Hi Max, >> >> I looked into all problems. I think that I fixed the first one, >> but need feed-back from Giovanni. > > > I have compiled and installed the current development version, but I am not > confident that I am running it instead of 1.99.19, as despite I am trying to > point my system to the development version I am still seeing the same > configuration of the default texmacs. > > But it may be, as the editor looks a bit different. > > In the test I have done I still get the same debug message. > > > > > > > _______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org > https://lists.gnu.org/mailman/listinfo/texmacs-dev _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
