summaryrefslogtreecommitdiff
path: root/doc/quick-tech-report/Makefile
diff options
context:
space:
mode:
authorjaseg <git-bigdata-wsl-arch@jaseg.de>2020-10-08 19:40:19 +0200
committerjaseg <git-bigdata-wsl-arch@jaseg.de>2020-10-08 19:40:19 +0200
commit7c2ac33a893b3115bbce8783e92adcabf3cb09de (patch)
tree17bffa2c22e95bd6e06dc0b93acd83444c1c5f77 /doc/quick-tech-report/Makefile
parent3f96477311268abf7c60b81f710d6d86874da50c (diff)
parentc0c2d91a9f874aed8f4d863e7efba224491eae55 (diff)
downloadihsm-7c2ac33a893b3115bbce8783e92adcabf3cb09de.tar.gz
ihsm-7c2ac33a893b3115bbce8783e92adcabf3cb09de.tar.bz2
ihsm-7c2ac33a893b3115bbce8783e92adcabf3cb09de.zip
Merge remote-tracking branch 'wendelstein/master'
Diffstat (limited to 'doc/quick-tech-report/Makefile')
-rw-r--r--doc/quick-tech-report/Makefile36
1 files changed, 36 insertions, 0 deletions
diff --git a/doc/quick-tech-report/Makefile b/doc/quick-tech-report/Makefile
new file mode 100644
index 0000000..259f303
--- /dev/null
+++ b/doc/quick-tech-report/Makefile
@@ -0,0 +1,36 @@
+
+LAB_PATH ?= ../lab-windows
+
+SHELL := bash
+.ONESHELL:
+.SHELLFLAGS := -eu -o pipefail -c
+.DELETE_ON_ERROR:
+MAKEFLAGS += --warn-undefined-variables
+MAKEFLAGS += --no-builtin-rules
+
+main_tex ?= rotohsm_tech_report
+
+VERSION_STRING := $(shell git describe --tags --long --dirty)
+
+all: ${main_tex}.pdf
+
+%.pdf: %.tex %.bib version.tex
+ pdflatex -shell-escape $<
+ biber $*
+ pdflatex -shell-escape $<
+
+.PHONY: preview
+preview:
+ pdflatex -shell-escape ${main_tex}.tex
+
+version.tex: ${main_tex}.tex ${main_tex}.bib
+ echo "${VERSION_STRING}" > $@
+
+resources/%.pdf: $(LAB_PATH)/%.ipynb
+ jupyter-nbconvert --to=pdf --output-dir=resources --output=$* --LatexExporter.template_file=resources/nbexport.tplx $^
+
+.PHONY: clean
+clean:
+ rm -f ${main_tex}.aux ${main_tex}.bbl ${main_tex}.bcf ${main_tex}.log ${main_tex}.blg
+ rm -f ${main_tex}.out ${main_tex}.run.xml texput.log
+