a few fixes

2022-09-27 17:19:13 +02:00
parent cea8ac8596
commit 80f1d1cd8f
2 changed files with 4 additions and 5 deletions
--- a/2
+++ b/2
@@ -6,7 +6,7 @@ TEXFILE=$(TEXBASE).tex
 PDFFILE=$(TEXBASE).pdf
 TXTFILE=$(TEXBASE).txt

-REVISION=493ed7b1e730a76adb6522831a34873d6fb525b5
+REVISION=3bcfb4a830f0d49e2db20a3e3abeaa7c8f2a119f

 PDFFIGURES=$(shell sed -n -e '/^[^%].*includegraphics/{s/^.*includegraphics.*{\(.*\)}/\1.pdf/;p}' $(TEXFILE))