Merge remote-tracking branch 'origin/main' into phase02

This commit is contained in:
Michael Chen 2022-05-04 19:17:23 +02:00
commit 67b7a04034
No known key found for this signature in database
GPG Key ID: 1CBC7AA5671437BB
3 changed files with 24 additions and 0 deletions

View File

@ -1,3 +1,6 @@
Solution_Phase*_*.pdf
Solution_Phase*_*.zip
## Core latex/pdflatex auxiliary files:
*.aux
*.lof

View File

@ -0,0 +1,21 @@
phase = 01
version = 1
name = MichaelChen
solutionname = Solution_Phase$(phase)_$(name)
target = $(solutionname)_V$(version).zip
package = $(solutionname).pdf randoop
latexmkflags =
.PHONY : all dev
all : $(target)
dev : latexmkflags = -pvc
dev : all
$(target) : $(package)
zip -FSr $(target) $(package)
%.pdf : %.tex
latexmk -jobname="$*" $(latexmkflags) -pdf $<