From 29a6709cb9bb5da6165aa108d4f9c68bfe9321f6 Mon Sep 17 00:00:00 2001
From: Christian Krause <christian.krause@idiv.de>
Date: Fri, 3 May 2019 17:01:34 +0200
Subject: [PATCH] builds paper to revealjs and pdf

---
 .gitignore | 2 ++
 Makefile   | 6 ++++++
 paper.md   | 1 +
 3 files changed, 9 insertions(+)

diff --git a/.gitignore b/.gitignore
index 112acc3..454712c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+paper.html
+paper.pdf
 img/git-remote-contributor.svg
 img/git-remote-maintainer.svg
 img/git-remote-solo.svg
diff --git a/Makefile b/Makefile
index 8d83012..074282d 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,12 @@ SUBDIRS = \
 $(SUBDIRS):
 	$(MAKE) -C $@
 
+paper.html: paper.md
+	pandoc -t revealjs -s paper.md -o paper.html
+
+paper.pdf: paper.md
+	pandoc -s paper.md -o paper.pdf
+
 all: subdirs
 
 clean:
diff --git a/paper.md b/paper.md
index 5d7dbb0..32f3a54 100644
--- a/paper.md
+++ b/paper.md
@@ -78,6 +78,7 @@ Better diff command for text:
 
 ```bash
 git diff -w --ignore-blank-lines --word-diff
+watchexec -w paper.md -- make paper.pdf
 ```
 
 ## unsolved problems
-- 
GitLab