little fixes and removed some comments

This commit is contained in:
2022-05-23 12:20:43 +02:00
parent 58a435a0c9
commit 5aaf7abd4a
2 changed files with 5 additions and 9 deletions

View File

@@ -6,7 +6,7 @@ TEXFILE=$(TEXBASE).tex
PDFFILE=$(TEXBASE).pdf
TXTFILE=$(TEXBASE).txt
REVISION=249fe01cabd4632dee366e26991fe32f4c1286df
REVISION=493ed7b1e730a76adb6522831a34873d6fb525b5
PDFFIGURES=$(shell sed -n -e '/^[^%].*includegraphics/{s/^.*includegraphics.*{\(.*\)}/\1.pdf/;p}' $(TEXFILE))