[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
makeinfo's HTML: @documentlanguage instead of $LANG
|
From: |
Torsten Bronger |
|
Subject: |
makeinfo's HTML: @documentlanguage instead of $LANG |
|
Date: |
Sat, 29 Nov 2003 00:12:32 +0100 |
|
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux) |
Halloechen!
Maybe on your todo list already, but I wanted to be sure because I
had had a concrete problem with a user who ported my program:
makeinfo should interpret @documentlanguage for HTML output rather
than $LANG.
Tschoe,
Torsten.
--
Torsten Bronger, aquisgrana, europa vetus
- makeinfo's HTML: @documentlanguage instead of $LANG,
Torsten Bronger <=