TetaTricks/go.sh

#!/bin/bash

#
#	crude, but do the job.
#

NAME="tetatricks"

pdflatex   $NAME
makeindex  $NAME
pdflatex   $NAME

date >> log.toto
un debut assez timide... 2020-09-27 17:15:15 +02:00			`#!/bin/bash`

un nouveau départ 2022-06-09 21:15:48 +02:00			`#`
			`# crude, but do the job.`
			`#`
un debut assez timide... 2020-09-27 17:15:15 +02:00
un nouveau départ 2022-06-09 21:15:48 +02:00			`NAME="tetatricks"`

			`pdflatex $NAME`
			`makeindex $NAME`
			`pdflatex $NAME`
un debut assez timide... 2020-09-27 17:15:15 +02:00
			`date >> log.toto`