From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 5 Mar 2016 11:02:00 +0000 (+0100)
Subject: initial commit, report skeleton
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=39c4af4feed8a541f6976b2314620e4f5e0801c3;p=mc1516pa.git

initial commit, report skeleton
---

diff --git a/report1/.gitignore b/report1/.gitignore
new file mode 100644
index 0000000..d8b763f
--- /dev/null
+++ b/report1/.gitignore
@@ -0,0 +1,4 @@
+*.pdf
+*.log
+*.aux
+*.fmt
diff --git a/report1/Makefile b/report1/Makefile
new file mode 100644
index 0000000..5940ab1
--- /dev/null
+++ b/report1/Makefile
@@ -0,0 +1,17 @@
+LATEX:=pdflatex
+DOCUMENT:=report1
+
+.PHONY: all clean
+.SECONDARY: $(DOCUMENT).fmt
+
+all: $(DOCUMENT).pdf
+
+%.pdf: %.tex %.fmt
+	$(LATEX) $<
+	$(LATEX) $<
+
+%.fmt: pre.tex
+	$(LATEX) -ini -shell-escape -jobname="$(basename $@)" "&$(LATEX) $<\dump"
+
+clean:
+	$(RM) -rv $(addprefix $(DOCUMENT).,fmt log aux pdf)
diff --git a/report1/pre.tex b/report1/pre.tex
new file mode 100644
index 0000000..76bc837
--- /dev/null
+++ b/report1/pre.tex
@@ -0,0 +1,7 @@
+\documentclass{article}
+
+\usepackage{a4wide}
+
+\title{Solving Sokoban with NuSMV}
+\author{Alexander Fedotov(s4460952)\and Mart Lubbers(s4109503)}
+\date{\today}
diff --git a/report1/report1.tex b/report1/report1.tex
new file mode 100644
index 0000000..e8ee572
--- /dev/null
+++ b/report1/report1.tex
@@ -0,0 +1,4 @@
+%&report1
+\begin{document}
+Hello world!
+\end{document}