Re: incorrect HTML.index output

Alvaro Herrera <alvherre@commandprompt.com> writes:
> I just noticed that on bookindex.html, we have this entry:
> π, Mathematical Functions and Operators
> ...
> I'm unsure what to do about it.  To me, the simplest solution seems to
> be to just remove the index entry.

Then it wouldn't be indexed at all.  I suggest just not trying to be
so cute, and change the index entry like this:

    <indexterm>
-    <primary>π</primary>
+    <primary>pi</primary>
    </indexterm>

            regards, tom lane