Re: backslash no longer works in indices

[Karl Berry]

Hi Werner,

    Is this expected behaviour or a bug?  I couldn't find something
    related in the NEWS or ChangeLog files, so I assume the latter.

I'm not surprised it doesn't work, but yes, it is a bug.  I'll see if I
can make it work.

k