Re: [PATCH] implement --enable-encoding for UTF-8 info files

[Bruno Haible]

Eli Zaretskii wrote:
> > + /* List of HTML entities.  */
> > + static struct { const char *html; unsigned int unicode; } unicode_map[] = 
> > {
> > + /* Extracted from http://www.w3.org/TR/html401/sgml/entities.html through
> > +    sed -n -e 's|<!ENTITY \([^ ][^ ]*\) *CDATA "[&]#\([0-9][0-9]*\);".*|  
> > { "\1", \2 },|p'
> 
> I get an empty output when I run this Sed command on entities.html
> downloaded with wget.

Did I say "wget"? "w3m -dump". Or copy&paste from a browser into a text file.

Bruno