diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 081a723b..8e07a9a1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,10 +1,14 @@ all: rust.pdf rust.html -%.pdf: %.texi +version.texi: Makefile + git log -1 \ + --format='@macro gitversion%n%h %ci%n@end macro%n' >$@ + +%.pdf: %.texi version.texi texi2pdf $< -%.html: %.texi +%.html: %.texi version.texi makeinfo --html --ifhtml --force --no-split --output=$@ $< clean: |