From 84494fdecc702ddc4de96945197b3d77c3852493 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 17 Apr 2019 15:47:00 -0700
Subject: [PATCH] generate README.html again; can be useful for local preview.

I added it to .gitignore, though git was already ignoring it for some
reason.
---
 .gitignore | 1 +
 Makefile   | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index e85b347..463f699 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 .idea/
 .vendor/
+README.html
diff --git a/Makefile b/Makefile
index 3158218..cdefbac 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,8 @@
 all: html
 
-# generate html from all md files
-html: $(patsubst %.md,%.html,$(filter-out README.md CONTRIBUTING.md,$(wildcard *.md quickref/*.md))) Makefile
+# Generate html from all md files
+# (including README, maybe useful for local preview. $(filter-out README.md, ...) to exclude).
+html: $(patsubst %.md,%.html,$(wildcard *.md quickref/*.md)) Makefile
 
 PANDOC=pandoc -f markdown-smart+autolink_bare_uris