From 854d2349a9800cd93bac3897fa705e53ac8b50ed Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 16 Jun 2019 10:49:50 +0300 Subject: Change: style of HTML out put for generated docs --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index bb4c885..f5b5430 100644 --- a/Makefile +++ b/Makefile @@ -16,4 +16,4 @@ publish: ./pandoc.sh $< -o $@ .tmp.html: - ./pandoc.sh $< -o $@ + ./pandoc.sh $< -o $@ -H fable-doc.css -- cgit v1.2.1