Re: makeinfo --docbook versus @documentencoding

[Karl Berry]

Hi Kevin,

Thanks for the report.  Here's an ugly patch.

k

*** lang.c.~1.9.~       Sat Aug 30 11:23:26 2003
--- lang.c      Sun Oct 12 17:24:16 2003
***************
*** 488,494 ****
--- 488,508 ----
    encoding_code_type enc;
    char *enc_arg;
  
+   /* This is ugly and probably needs to apply to other commands'
+      argument parsing as well.  When we're doing @documentencoding,
+      we're generally in the frontmatter of the document, and so the.
+      expansion in html/xml/docbook would generally be the empty string.
+      (Because those modes wait until the first normal text of the
+      document to start outputting.)  The result would thus be a warning
+      "unrecognized encoding name `'".  Sigh.  */
+   int save_html = html;
+   int save_xml = xml;
+ 
+   html = 0;
+   xml = 0;
    get_rest_of_line (1, &enc_arg);
+   html = save_html;
+   xml = save_xml;
  
    /* See if we have this encoding.  */
    for (enc = no_encoding+1; enc != last_encoding_code; enc++)