From 2c063082492685bb3a67bf9eb0d0bc02185923e4 Mon Sep 17 00:00:00 2001
From: Bernhard Urban <lewurm@gmail.com>
Date: Wed, 18 Apr 2012 12:51:56 +0200
Subject: [PATCH] scratch: Makefile dependencies, LaTeX fun, .gitignore

pdflatex ftw!
---
 scratch/.gitignore      | 10 ++++++++++
 scratch/Makefile        | 31 ++++++++++++++++---------------
 scratch/Translation.lhs | 19 ++++++++++++-------
 3 files changed, 38 insertions(+), 22 deletions(-)
 create mode 100644 scratch/.gitignore

diff --git a/scratch/.gitignore b/scratch/.gitignore
new file mode 100644
index 0000000..0be4f22
--- /dev/null
+++ b/scratch/.gitignore
@@ -0,0 +1,10 @@
+*.ps
+*.ptb
+*.tex
+*.pdf
+*.log
+*.aux
+*.out
+*.dvi
+*.bbl
+*.blg
diff --git a/scratch/Makefile b/scratch/Makefile
index 064aadc..4485a6a 100644
--- a/scratch/Makefile
+++ b/scratch/Makefile
@@ -1,23 +1,24 @@
-filename=Translation
+SHELL := bash
 
-tex: ${filename}.lhs
-	 lhs2TeX -o ${filename}.tex ${filename}.lhs
+FILENAME := Translation
 
-pdf: ps
-	ps2pdf ${filename}.ps
+.PHONY: all read aread clean
 
-ps: dvi
-	dvips ${filename}.dvi
 
-dvi: tex
-	latex ${filename}.tex
-	latex ${filename}.tex
+all: $(FILENAME).pdf
 
-read:
-	evince ${filename}.pdf &
+%.tex: %.lhs
+	 lhs2TeX -o $@ $<
 
-aread:
-	acroread ${filename}.pdf &
+%.pdf: %.tex
+	pdflatex $<
+	pdflatex $<
+
+read: $(FILENAME).pdf
+	evince $< &
+
+aread: $(FILENAME).pdf
+	acroread $< &
 
 clean:
-	rm -f ${filename}.ps ${filename}.ptb ${filename}.tex ${filename}.pdf ${filename}.log ${filename}.aux ${filename}.out ${filename}.dvi ${filename}.bbl ${filename}.blg
+	rm -rf $(FILENAME).{ps,ptb,tex,pdf,log,aux,out,dvi,bbl,blg}
diff --git a/scratch/Translation.lhs b/scratch/Translation.lhs
index 0bf579f..5570869 100644
--- a/scratch/Translation.lhs
+++ b/scratch/Translation.lhs
@@ -1,15 +1,20 @@
+\documentclass[a4paper,12pt]{scrartcl}
+%include polycode.fmt
+
+\usepackage{hyperref}
+\usepackage{url}
+\usepackage[utf8x]{inputenc}
+
+\newcommand{\authormod}[2]{#1\\{\small\url{#2}}}
+
+\begin{document}
 \title{MateVM Translation scheme}
 \author{
-        Bernhard Urban
-            \and
-        Harald Steinlechner
+	\authormod{Harald Steinlechner}{haraldsteinlechner@@gmail.com} \and
+	\authormod{Bernhard Urban}{lewurm@@gmail.com}
 }
 \date{\today}
 
-\documentclass[12pt]{article}
-%include polycode.fmt
-
-\begin{document}
 \maketitle
 
 %\begin{abstract}
-- 
2.25.1