Assign "id" attributes to each of the <section>s of the proxy document.
authorMike Taylor <mike@indexdata.com>
Tue, 22 Oct 2002 14:04:17 +0000 (14:04 +0000)
committerMike Taylor <mike@indexdata.com>
Tue, 22 Oct 2002 14:04:17 +0000 (14:04 +0000)
commited3df7ad6c5f8c8dbd9c1c97c5c9cd2957a24ad9
tree6be5dfba9f4191a0aa748b7b497745a5ab0a1b53
parent45278a327fad623114c05c7fa23b2aa000f14873
Assign "id" attributes to each of the <section>s of the proxy document.
This is mostly so that we get nice HTML files generated, rather than a
lot of randomly-named x3454.html's every time we rebuild.
doc/proxy.xml