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/doc.mk | |
| 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/doc.mk')
| -rw-r--r-- | doc/doc.mk | 2 |
1 files changed, 1 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) $< |