tree f0ebbd80b221f4fd1d630f9c4a31d96600237758
parent 02e18b4b84a5b8d7c085a2dec1c74ce88ca4a2cb
author Fred Drake <fdrake@acm.org> 915574589 +0000
committer Fred Drake <fdrake@acm.org> 915574589 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4012274

write_idxfile():  New function.  Isolate format of the external index
	data file used by buildindex.py.

next_argument_id():  Removed; no longer used.

next_argument():  Doesn't use next_argument_id(), just does the work.

gen_target(), gen_target_name():  Removed, no longer used.  The only
	place that used them now does the (trivial) work directly.


Lots of little changes so we never have to pass around $br_id values
all over the place.  The only places they're used now new IDs are
generated as needed.