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 9 years, 2 months ago by dak
Modified 9 years, 2 months ago
Reviewers: Jean-Charles
Base URL:
Comments: 0