tree d7f3dbed02fc88742a078d39dca8884c7e88c230
parent 8fcad7beb1b98af740c341efd2b7313f30a517f7
author Fred Drake <fdrake@acm.org> 889461336 +0000
committer Fred Drake <fdrake@acm.org> 889461336 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4010095

Adjust the index support a bit to make it easier to deal with module index.

Don't generate the mod???.idx file if it wasn't requested with the new command
\makemodindex.

Change the format of mod???.idx to match that of "normal" .idx files.  This
lets us use makeindex for it and not need a special script.