2022-01-20 15:25:31 +01:00
|
|
|
sty: clean-sty
|
2022-01-20 12:07:35 +01:00
|
|
|
pdflatex groupthm.ins
|
|
|
|
|
|
|
|
|
|
all: clean pdf sty
|
2022-01-17 17:06:18 +01:00
|
|
|
|
|
|
|
|
pdf:
|
|
|
|
|
pdflatex groupthm.dtx
|
2022-01-17 21:52:22 +01:00
|
|
|
makeindex -s gind.ist groupthm.idx
|
|
|
|
|
pdflatex groupthm.dtx
|
2022-01-17 17:06:18 +01:00
|
|
|
|
2022-01-17 22:34:53 +01:00
|
|
|
clean: clean-sty
|
2022-01-17 17:06:18 +01:00
|
|
|
latexmk -c groupthm.dtx
|
|
|
|
|
rm -f groupthm.hd
|
|
|
|
|
rm -f groupthm.glo
|
|
|
|
|
rm -f groupthm.pdf
|
|
|
|
|
|
2022-01-17 22:34:53 +01:00
|
|
|
clean-sty:
|
|
|
|
|
rm -f groupthm.sty
|
|
|
|
|
|
2022-01-17 17:06:18 +01:00
|
|
|
.PHONY: pdf clean
|
