Revision 0c74481b
Von Moritz Bunkus vor etwa 14 Jahren hinzugefügt
| doc/Makefile | ||
|---|---|---|
|
all:
|
||
|
rm -f INSTALL/*.html
|
||
|
makeinfo --html --document-language=de_DE INSTALL.texi
|
||
|
makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi
|
||
|
makeinfo --html --document-language=de_DE.UTF-8 INSTALL.texi
|
||
|
makeinfo --plaintext --document-language=de_DE.UTF-8 -o INSTALL.txt INSTALL.texi
|
||
Auch abrufbar als: Unified diff
@documentencoding muss nach @setfilename kommen
Ansonsten wird der Charset-Anteil nicht in den HTTP-Meta-Tags
ausgegeben.
Fix für Bug 1580.