Re: problem with --enable-encoding

[Werner LEMBERG]

> The @document* commands must come after @setfilename.  Everything
> before @setfilename is ignored.

Aah, thanks.  I missed that.  Maybe a short remark for the @document*
commands can be added -- there are probably more people who forget
that.

After some thinking I believe that it actually makes sense to have
the @document* commands before @setfilename:

  @documentlanguage de
  @documentencoding ISO-8859-1

  @setfilename Benützerhandbuch


    Werner