mailing-list for TeXmacs Users

[Davide Anchisi<address@hidden>]

You can also build deb packages, through the debian distribution, and then
install them
the debian/ubuntu way. Thies way texmacs will be managed by the system 
software
tools.

Version 1.0.7 is in Debian experimental.

So:

1. add:
   deb-src http://debian.fastweb.it/debian/ experimental main contrib
to the file /etc/apt/source.list (you can remove the line after installing
texmacs).

2. to resynchronize the package index, run:
   sudo apt-get update

3. to download the source code, run:
   apt-get source texmacs

4. to check if something is missing and to install it, run:
   sudo apt-get build-dep texmacs

5. to compile, run:
   apt-get -b source texmacs

After building you'll have *deb packages in the current directory.
6. to install, run:
   sudo dpkg -i *deb

It's done!

I hope this may help,

    Davide