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

カラーで表示・印刷するには、 dviout で Option → Setup Parameters → Graphic で、 GIF の取り扱いの設定で を選択します。 dviout 起動時に としても良いです。 本当は、 情報処理教室のデフォールトの設定にしておくべきだったかも知れません (すみません、今年度はもう直せません)。