scratch: Makefile dependencies, LaTeX fun, .gitignore

pdflatex ftw!

diff --git a/scratch/.gitignore b/scratch/.gitignore
new file mode 100644 (file)
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 064aadce43833a64edfff3818a93dc873bcaeede..4485a6a81a7f1bcd882feab53b7ae92e58bab880 100644 (file)
--- 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 0bf579f33590edcff9d79410c3a86ab7aa790ed5..5570869773d3788a7e0b06697ae1b2ffc060cfc6 100644 (file)
--- 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}