Remove unescaped @funindex entries

Remove unescaped @funindex entries

With adjacent @funindex entries of which one differs from the other
only by the absence of a preceding backslash, the one without the
preceding backslash is removed.  This is done by using the script:

    sed -i '/^@funindex/{N;s/^@funindex \\\([^\n\\]*\)\n@funindex \1$/@funindex \\\1/mg;s/^@funindex \([^\n\\]*\)\n@funindex \\\1$/@funindex \\\1/mg;P;D;}' $(git grep -l '^@funindex')

[Trevor Daniels, 2016-06-14 21:27:24]

Excellent!
I've wanted to do this for years, but lacked the scripting skills to do it.
Trevor

[dak, 2016-06-14 21:31:29]

On 2016/06/14 21:27:24, Trevor Daniels wrote:
> Excellent!
> I've wanted to do this for years, but lacked the scripting skills to do it.
> Trevor

Well, it's just a 95% kind of job (and I'm not entirely sure there aren't a few
wrong positives).  But it's a start for getting more consistent indexing. 
Testing better indexing (requiring Texinfo 6) just now.