dvipng / dvigif
以前、ホームページに数式を書く時に使ったコマンドの使い方をメモっておくことにします。
こんな感じになる。rgb は 1.0 を 256 とした値なのでちょっと計算が必要になります。
% dvipng -D 300 -T tight -fg 'rgb 0.0 0.0 0.0' -bg 'rgb 1.0 1.0 1.0' file.dvi
% dvigif -D 300 -T tight -fg 'rgb 0.0 0.0 0.0' -bg 'rgb 1.0 1.0 1.0' file.dvi
-D 解像度
-T 画像の大きさ
-fg 文字色('rgb 赤の割合 緑の割合 青の割合')
-bg 背景色('rgb 赤の割合 緑の割合 青の割合')
こんな感じになる。rgb は 1.0 を 256 とした値なのでちょっと計算が必要になります。

