11 lines
		
	
	
		
			210 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
			
		
		
	
	
			11 lines
		
	
	
		
			210 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
target=specification
 | 
						|
 | 
						|
.PHONY: $(target).pdf all clean
 | 
						|
 | 
						|
all: $(target).pdf
 | 
						|
 | 
						|
$(target).pdf: $(target).tex
 | 
						|
	latexmk -pdf -pdflatex="pdflatex -interaction=nostopmode -shell-escape" -use-make $^
 | 
						|
clean:
 | 
						|
	latexmk -CA
 |