From 217208e3f342d31da541b88af8d06aabbf322f86 Mon Sep 17 00:00:00 2001 From: Miguel Date: Sun, 17 Feb 2019 12:11:40 +0100 Subject: fixed hidden directories filter --- Makefile | 4 ---- 1 file changed, 4 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 851c3cf..13b9250 100644 --- a/Makefile +++ b/Makefile @@ -9,7 +9,3 @@ clean: -rm ${OUTDIR}/* -r showdoc: stack haddock -# firefox /home/miguel/git/staticus_www/staticus/.stack-work/install/x86_64-linux/lts-13.0/8.6.3/doc/index.html - -#hack to get css, copy this to a stanalone css file. file.md needs to have some source-code for pandoc -#stack exec pandoc -- -s file.md --highlight-style pygments -- cgit v1.2.3