Skip to content
Snippets Groups Projects

Backport specification from my PhD thesis

Merged Backport specification from my PhD thesis
devel/thesis-backport into master
Merged Hans-Jörg requested to merge devel/thesis-backport into master
Viewing commit c7b4870d
Prev Next
Show latest version
4 files
+ 5003
− 0
Compare changes
  • Side-by-side
  • Inline
Files
4
  • c7b4870d 
    - Add backport goal to Makefile to aid work
- copy the main chapter as "spec.tex"
- copy the rules appendix as "alethe_rules.tex"
- finish adaption of source code in spec.tex
spec/Makefile
+ 5
− 5
comments:
latexmk -pdf -shell-escape doc
nix:
SOURCE_DATE_EPOCH=$(date +%s) latexmk -pdf -pvc -interaction=nonstopmode -shell-escape -lualatex doc
doc:
latexmk -pdf -shell-escape -jobname=comments -pdflatex="pdflatex %O '\def\nocomments{}\input{%S}'" doc
latexmk -pdf -shell-escape -lualatex -synctex=1 doc
nonstop:
latexmk -pdf -interaction=nonstopmode -shell-escape doc
latexmk -interaction=nonstopmode -pdf -shell-escape -lualatex doc