From 82af78b272ab0036eec289eb338934736aabbdc2 Mon Sep 17 00:00:00 2001 From: nodiscc Date: Sun, 5 Apr 2015 22:35:01 +0200 Subject: [PATCH] use pandoc to generate local HTML documentation fixes https://github.com/shaarli/Shaarli/issues/178 run 'make htmldoc' --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index 9635e53e..e6f42853 100644 --- 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 -- 2.41.0