TetaTricks/go.sh

16 lines
133 B
Bash
Raw Normal View History

2020-09-27 17:15:15 +02:00
#!/bin/bash
2022-06-09 21:15:48 +02:00
#
# crude, but do the job.
#
2020-09-27 17:15:15 +02:00
2022-06-09 21:15:48 +02:00
NAME="tetatricks"
pdflatex $NAME
makeindex $NAME
pdflatex $NAME
2020-09-27 17:15:15 +02:00
date >> log.toto