enベースのディレクトリで日本語化してしていたところを、esベースのディレクトリに変えてみる。 texi2htmlのlangオプションをesからjaに代えたら、知らんと言われた。 texi2htmlをMaximaソースに付属の1.5から1.82に上げて、langをjaに設定して上記問題を解…