SATySFi-make-html are SATySFi packages that outputting HTML file using SATySFi's text-mode.
opam install satysfi-make-html
satyrographos install
This software released under the MIT license.
Copyright (c) 2020 Naoki Kaneko (a.k.a. "puripuri2100")