タグ: GIF

Git でバージョン管理された $latex \TeX$ ドキュメントの作成過程を GIF アニメーションに変換するシェルスクリプト tex-to-gif を作成しました. この記事では tex-to…