From 39c4af4feed8a541f6976b2314620e4f5e0801c3 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 5 Mar 2016 12:02:00 +0100
Subject: [PATCH] initial commit, report skeleton

---
 report1/.gitignore  |  4 ++++
 report1/Makefile    | 17 +++++++++++++++++
 report1/pre.tex     |  7 +++++++
 report1/report1.tex |  4 ++++
 4 files changed, 32 insertions(+)
 create mode 100644 report1/.gitignore
 create mode 100644 report1/Makefile
 create mode 100644 report1/pre.tex
 create mode 100644 report1/report1.tex

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}
-- 
2.20.1