소스 검색

Added Makefile.

Taddeus Kroes 14 년 전
부모
커밋
531eef7dd6
1개의 변경된 파일12개의 추가작업 그리고 0개의 파일을 삭제
  1. 12 0
      docs/Makefile

+ 12 - 0
docs/Makefile

@@ -0,0 +1,12 @@
+RM=rm -rf
+
+all: plan.pdf report.pdf
+
+plan.pdf: plan.tex
+	pdflatex $^
+
+report.pdf: report.tex
+	pdflatex $^
+
+clean:
+	$(RM) *.pdf *.aux *.log *.out *.toc