[hcoop/debian/mlton.git] / doc / guide / conf / asciidoc-html5.flags

# -v
-b html5
--attribute=source-highlighter=pygments
# --attribute=disable-javascript
--attribute=linkcss
--conf-file=conf/html5-header.conf
--conf-file=conf/html5-footer.conf
--conf-file=conf/mlton-html5.conf
Commit	Line	Data
7f918cf1 CE	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