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

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