initial commit, report skeleton

diff --git a/report1/.gitignore b/report1/.gitignore
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
index 0000000..e8ee572
--- /dev/null
+++ b/report1/report1.tex
@@ -0,0 +1,4 @@
+%&report1
+\begin{document}
+Hello world!
+\end{document}