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

Maxima 5.19.0がリリースされたことを機会に、マニュアルの一部訳をオリジナルのtexinfoに埋め込んでHTML生成してみました。 http://www.h3.dion.ne.jp/~y.ich/Maxima/maxima.html Categoryを処理するスクリプトがバグっていて？うまくハイパーリンクになっ…