coqdocを使った
coqdocを初めて使ってみました。
はじめは company-coq のスタイルに合わせて見出しとか書いてましたが、なんとなく気が向いたので公式(documenting-coq-files-with-coqdoc )の方を確認してみたのでした。
目的はcoqスクリプトの(主にコメントの)整形スタイルを妥当なモノに統一することなので出力はどうでもいいんですが、…デフォルトはあまりかっこよくないですね :p
今のところ単一ファイルなのでコマンドは:
$ coqdoc --utf8 hoge.v
これだけ。