aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2023-05-23 13:28:29 +0200
committerlonkaars <loek@pipeframe.xyz>2023-05-23 13:28:29 +0200
commitd53f4014ab90dc09f6b9fff68391fc90a084de59 (patch)
treea67b8554325f6920e53531fe70cc0b0b6c6e6c7a /doc
parent3b184a992b5da004027f6c26d750fbc848af4cca (diff)
fix commit pointer in version table
Diffstat (limited to 'doc')
-rw-r--r--doc/makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile
index ebf02f3..fbc2d82 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -9,7 +9,7 @@ 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' ' > $@
+ git tag -l 'doc-*' --format='%(refname:short) %(*objectname:short) %(contents:subject) %(*authordate:format:%s)' | ./versiontable.awk -F' ' > $@
%.png: %.bmp
convert $< $@