Remove option to strip out <tt>...</tt> from index entry text; this is now
left to the buildindex.py script. Change the field separator used in the index.dat file so utilities like grep are useful on these files; they can't typically handle NUL bytes. Protect index entries for environment variables from being handled as case-insensitive by buildindex.py.
Showing
Please
register
or
sign in
to comment