diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/doc.mk | 2 | ||||
-rw-r--r-- | doc/documentation.tex | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -9,7 +9,7 @@ IMAGES := $(DIAGRAMS:%=$(DIAGRAMS_BUILD_DIR)/%.pdf) .PHONY: doc doc: $(DOCUMENTS) -$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) $(DATE) +$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) $(DATE) $(VERSION_FILE) 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 8bc3112..0a59c7e 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -1,7 +1,7 @@ \documentclass{report} \author{xengineering} \title{soundbox documentation} -\date{\input{../date.txt}} +\date{\input{../date.txt}- version \input{../version.txt}} \usepackage{graphicx} \graphicspath{ {./diagrams/} } |