diff --git a/.gitignore b/.gitignore index 112acc314baf162df30f054e0b70052436bcba9a..454712c7d2c82a046af0481306dfff82192bd8ce 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 8d830125fbad73a9f839b35b811b9b1a88d9419e..074282dfab831cfa81a81c7cacbe48e5ed15dffb 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 5d7dbb021a3ff0fe2f501549d4761e7a0e8a0b11..32f3a54138ccdebd2a640337f9cd4f67bd47c4f5 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