Ignore backslash when indexing
Apparently, this currently works just with PDF. Info files and
HTML retain separate indexing of commands starting with backslash.
Issue 300390043: Ignore backslash when indexing
Created 7 years, 9 months ago by dak
Modified 7 years, 9 months ago
Reviewers: Jean-Charles
Base URL:
Comments: 0