use pandoc to generate local HTML documentation

fixes https://github.com/shaarli/Shaarli/issues/178 run 'make htmldoc'
2015-04-05 22:35:01 +02:00 · 2015-04-05 22:35:01 +02:00 · 82af78b272
parent 10070c3700
commit 82af78b272
1 changed files with 6 additions and 0 deletions
--- a/6
+++ b/6
@ -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;