diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..a74efd1 --- /dev/null +++ b/Makefile @@ -0,0 +1,12 @@ +run: build clean + stack run staticus-exe -- /home/miguel/git/staticus_www/INDEX /home/miguel/git/staticus_www/OUT +build: + stack build +clean: + -rm /home/miguel/git/staticus_www/OUT/* -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 |
