9.5 dviout でカラー表示・印刷をするには

(これももう削除すべきかなあ…)

カラーで表示・印刷するには、 dviout で Option → Setup Parameters → Graphic で、 GIF の取り扱いの設定で を選択する。 dviout 起動時に、 というオプション引数を指定しても良い。 これをデフォールトの設定にする人も多いが、 情報処理教室のプリンターはモノクロなので、さぼってある。