Pushed to staging as
commit cb684c1421b98ac38e9db7d92afba50fa4837384
Author: David Kastrup dak@gnu.org
Date: Wed Jun 15 00:45:22 2016 +0200
Issue 4896: Ignore backslash when indexing
Apparently, this currently works just with PDF. Info files and
HTML retain separate indexing of commands starting with backslash.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Diff:
Passes make, make check and a full make doc
Patch on countdown for June 21st.
Patch counted down - please push.
Pushed to staging as
commit cb684c1421b98ac38e9db7d92afba50fa4837384
Author: David Kastrup dak@gnu.org
Date: Wed Jun 15 00:45:22 2016 +0200
http://lists.gnu.org/archive/html/bug-texinfo/2016-06/msg00018.html