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 | |
| 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.
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | doc/doc.mk | 2 | ||||
| -rw-r--r-- | doc/documentation.tex | 1 |
3 files changed, 6 insertions, 1 deletions
@@ -1,4 +1,5 @@ BUILD_DIR := ./build +DATE := $(BUILD_DIR)/date.txt ARTIFACTS_DIR := $(BUILD_DIR)/artifacts VERSION := $(shell git describe --dirty --long --always) TARGET_NAME := soundbox-$(VERSION) @@ -8,6 +9,9 @@ ARCHIVE := $(ARTIFACTS_DIR)/$(TARGET_NAME).tar.zst all: $(ARCHIVE) $(VERSIONED_DOC) +$(DATE): + git show -s --format=%cs > $@ + $(ARCHIVE): $(TARGET_DIR) tar --zstd -cf $@ -C $(ARTIFACTS_DIR) $(TARGET_NAME) @@ -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/} } |