Revision 0c74481b
Von Moritz Bunkus vor fast 14 Jahren hinzugefügt
| doc/Makefile | ||
|---|---|---|
| 1 | 1 |
all: |
| 2 | 2 |
rm -f INSTALL/*.html |
| 3 |
makeinfo --html --document-language=de_DE INSTALL.texi |
|
| 4 |
makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi |
|
| 3 |
makeinfo --html --document-language=de_DE.UTF-8 INSTALL.texi |
|
| 4 |
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.