mailing-list for TeXmacs Users

[Nicolas Ratier <address@hidden>]

> does the script even include the download -
>
> and if not, from what TeXmacs page to what dirrctory must it be done?

I will write all more clearly :
YOUR_DEV_DIR is the directory that will contain all versions of texmacs

mkdir YOUR_DEV_DIR
cd YOUR_DEV_DIR
wget 
http://www.texmacs.org/Download/ftp/tmftp/source/TeXmacs-1.99.9-src.tar.gz
tar -zxvf TeXmacs-1.99.9-src.tar.gz
cd TeXmacs-1.99.9-src
./configure
make
cd ..

copy the following bash file here (in YOUR_DEV_DIR)

========================================================
file:TeXmacs-1.99.9.sh
========================================================
#!/bin/sh

version='1.99.9'
devdir="/home/YOUR_NAME/YOUR_DEV_DIR"

devdirversion="${devdir}/TeXmacs-${version}-src"
TEXMACS_PATH=${devdirversion}/TeXmacs
export TEXMACS_PATH

TEXMACS_BIN_PATH="$TEXMACS_PATH/bin"
TEXMACS_DOC_PATH="$TEXMACS_PATH/doc"
TEXMACS_HOME_PATH="${HOME}/.TeXmacs-${version}"
export TEXMACS_BIN_PATH TEXMACS_DOC_PATH TEXMACS_HOME_PATH

PATH="$TEXMACS_BIN_PATH/bin:$PATH"
export PATH

exec ${TEXMACS_BIN_PATH}/texmacs.bin "$@" < /dev/null
======================================================

chmod +x TeXmacs-1.99.9.sh
./TeXmacs-1.99.9.sh
or click on this bash file to execute TeXmacs version 1.99.9