some suggestions

This commit is contained in:
2022-05-18 11:36:53 +02:00
parent 249fe01cab
commit 5fd4905b61
3 changed files with 25 additions and 27 deletions

View File

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