From eca3a08a6e294793492a50089d7821128dd1ad15 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 18 Jun 2022 16:26:15 +0100
Subject: [PATCH] make: forgot markdown is whatever we want, fix $ in a better
 way

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index d5186af..79f6bf6 100644
--- a/Makefile
+++ b/Makefile
@@ -4,8 +4,7 @@ all: html
 # (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
-PANDOC=pandoc -f gfm
+PANDOC=pandoc -f markdown-smart-tex_math_dollars+autolink_bare_uris
 
 # generate html from a md file
 %.html: %.md index.tmpl