use pandoc to generate local HTML documentation

fixes https://github.com/shaarli/Shaarli/issues/178
run 'make htmldoc'

diff --git a/Makefile b/Makefile
index 9635e53e56e818efb4c90285bd0004612ac8d93d..e6f428531f16f7511e5b0b9a9e32489c0718b1c2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -102,3 +102,9 @@ doc: clean
                @rm -rf doc
                @git clone https://github.com/shaarli/Shaarli.wiki.git doc
                @rm -rf doc/.git
+
+### Convert local markdown documentation to HTML
+htmldoc:
+       for file in `find doc/ -maxdepth 1 -name "*.md"`; do \
+               pandoc -f markdown_github -t html5 -s -c "github-markdown.css" -o doc/`basename $$file .md`.html "$$file"; \
+       done;
\ No newline at end of file