88171.net

メモ

~/.latex2html-init

$MAX_SPLIT_DEPTH = 0;
$NO_NAVIGATION = 1;

$HTML_VERSION = "4.01";
$INFO = 0;

$LATEX = "/usr/bin/platex";

1;

開校記念日

金曜は開校記念日で休みだということに今更気付いた。お蔭でどうやら無事に今週を乗り切れそう。