diff options
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -102,3 +102,9 @@ doc: clean | |||
102 | @rm -rf doc | 102 | @rm -rf doc |
103 | @git clone https://github.com/shaarli/Shaarli.wiki.git doc | 103 | @git clone https://github.com/shaarli/Shaarli.wiki.git doc |
104 | @rm -rf doc/.git | 104 | @rm -rf doc/.git |
105 | |||
106 | ### Convert local markdown documentation to HTML | ||
107 | htmldoc: | ||
108 | for file in `find doc/ -maxdepth 1 -name "*.md"`; do \ | ||
109 | pandoc -f markdown_github -t html5 -s -c "github-markdown.css" -o doc/`basename $$file .md`.html "$$file"; \ | ||
110 | done; \ No newline at end of file | ||