From d1240cb73d8edc4396cc51e1b514bd068801207f Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Thu, 9 Oct 2014 18:22:02 +0200
Subject: [PATCH] Documentation Fluff

---
 Makefile          | 1 +
 source/avremu.tex | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index ca3eab7..fa5fe31 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,7 @@ avremu.zip: source/avremu.pdf
 	# Documenation directory
 	mkdir -p avremu/doc/latex/avremu
 	cp source/avremu.pdf avremu/doc/latex/avremu
+	cp README.md avremu/doc/latex/avremu/README
 	zip -r avremu.zip avremu
 	rm -rf avremu
 
diff --git a/source/avremu.tex b/source/avremu.tex
index dd12b23..75eade2 100644
--- a/source/avremu.tex
+++ b/source/avremu.tex
@@ -6,6 +6,9 @@
 \usepackage{tcolorbox}
 \usepackage{ydoc}
 
+\def\fileversion{v0.1}
+\def\filedate{2014/10/09}
+
 \makeatletter
 \def\cmd#1{\cs{\expandafter\cmd@to@cs\string#1}}
 \def\cmd@to@cs#1#2{\char\number`#2\relax}