diff options
Diffstat (limited to 'doc/paper/Makefile')
| -rw-r--r-- | doc/paper/Makefile | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/doc/paper/Makefile b/doc/paper/Makefile deleted file mode 100644 index 8a4bc75..0000000 --- a/doc/paper/Makefile +++ /dev/null @@ -1,35 +0,0 @@ - -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_paper -brief_tex ?= rotohsm_tech_report - -VERSION_STRING := $(shell git describe --tags --long --dirty) - -all: ${main_tex}.pdf ${brief_tex}.pdf - -%.pdf: %.tex rotohsm.bib version.tex - pdflatex -shell-escape $< - biber $* - pdflatex -shell-escape $< - -version.tex: ${main_tex}.tex ${brief_tex}.tex rotohsm.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 - rm -f ${brief_tex}.aux ${brief_tex}.bbl ${brief_tex}.bcf ${brief_tex}.log ${brief_tex}.blg - rm -f ${brief_tex}.out ${brief_tex}.run.xml texput.log - |