diff options
| author | xengineering <me@xengineering.eu> | 2024-01-27 22:25:30 +0100 |
|---|---|---|
| committer | xengineering <me@xengineering.eu> | 2024-01-27 22:25:30 +0100 |
| commit | 62d68edfef3afaae315c020f20e0cc6ff7ad5719 (patch) | |
| tree | d096d584b3a297a1035ad3c985bac083cc34f5b0 /doc | |
| parent | c79f077db7a79dd953bee68c51b1c4b863051d62 (diff) | |
| download | soundbox-62d68edfef3afaae315c020f20e0cc6ff7ad5719.tar soundbox-62d68edfef3afaae315c020f20e0cc6ff7ad5719.tar.zst soundbox-62d68edfef3afaae315c020f20e0cc6ff7ad5719.zip | |
doc: Use Git-provided commit date for PDF
Using the date of the build makes it not-reproducible. This should be
avoided. Furthermore the date on the front page should anyway reflect
when the source of the document was created. Not when it was converted
into a PDF.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/doc.mk | 2 | ||||
| -rw-r--r-- | doc/documentation.tex | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -9,7 +9,7 @@ IMAGES := $(DIAGRAMS:%=$(DIAGRAMS_BUILD_DIR)/%.pdf) .PHONY: doc doc: $(DOCUMENTS) -$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) +$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) $(DATE) mkdir -p $(dir $@) pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $< pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $< diff --git a/doc/documentation.tex b/doc/documentation.tex index a6ba82b..6448186 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -1,6 +1,7 @@ \documentclass{report} \author{xengineering} \title{soundbox documentation} +\date{\input{../date.txt}} \usepackage{graphicx} \graphicspath{ {./diagrams/} } |