commit | 0b4e25d0c098aec9ebd5a354c471683f72110660 | [log] [tgz] |
---|---|---|
author | Fred Drake <fdrake@acm.org> | Wed Oct 04 04:21:19 2000 +0000 |
committer | Fred Drake <fdrake@acm.org> | Wed Oct 04 04:21:19 2000 +0000 |
tree | ed7f9bd2d37e641343751f05eb04ea8d8407fd24 | |
parent | d215218178ea800e9fb2ee4841a2c5a3f46ff269 [diff] |
Use \obindex{...} instead of \indexii{...}{type} in many places; this is more consistent with other index entries in the documentation.