aboutsummaryrefslogtreecommitdiff
path: root/doc/makefile
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2023-05-23 13:22:18 +0200
committerlonkaars <loek@pipeframe.xyz>2023-05-23 13:22:18 +0200
commit3b184a992b5da004027f6c26d750fbc848af4cca (patch)
tree4674a5a51d35c266962a7e93f0fe3ccf82fbdedc /doc/makefile
parent2d4bf042a5e878e3eb0b3d4f8e8941644d8e6f21 (diff)
add version control table to title page
Diffstat (limited to 'doc/makefile')
-rw-r--r--doc/makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile
index 3446eeb..ebf02f3 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -8,13 +8,16 @@ dui.pdf: ../assets/LSD_straightLines_Pic_1.png
dui.pdf: ../assets/hough_straightLines_Pic_0.png
dui.pdf: ../assets/hough_straightLines_Pic_1.png
+versionctl.tex:
+ git tag -l 'doc-*' --format='%(refname:short) %(objectname:short=7) %(contents:subject) %(*authordate:format:%s)' | ./versiontable.awk -F' ' > $@
+
%.png: %.bmp
convert $< $@
%.pdf: %.svg
rsvg-convert -f pdf -o $@ $<
-%.pdf: %.tex base.tex %.md.tex
+%.pdf: %.tex base.tex %.md.tex versionctl.tex
latexmk $< -shell-escape -halt-on-error -lualatex -f -g
%.md.tex: %.md