diff options
Diffstat (limited to 'doc/versiontable.awk')
-rwxr-xr-x | doc/versiontable.awk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/versiontable.awk b/doc/versiontable.awk new file mode 100755 index 0000000..96108fd --- /dev/null +++ b/doc/versiontable.awk @@ -0,0 +1,15 @@ +#!/bin/awk -f +BEGIN { + print "\\noindent\\begin{tabularx}{\\linewidth}{llXr}" + print "\\toprule" + print "Version & Commit & Notes & Date\\\\" + print "\\midrule" +} +{ + sub("doc-", "", $1) + print $1" & \\texttt{"$2"} & "$3" & \\DTMdisplaydate"strftime("{%Y}{%m}{%d}{-1}", $4)"\\\\" +} +END { + print "\\bottomrule" + print "\\end{tabularx}" +} |