doc/guide/conf/asciidoc-html5.flags

   1 # -v
   2 -b html5
   3 --attribute=source-highlighter=pygments
   4 # --attribute=disable-javascript
   5 --attribute=linkcss
   6 --conf-file=conf/html5-header.conf
   7 --conf-file=conf/html5-footer.conf
   8 --conf-file=conf/mlton-html5.conf