// code for building dochead functions

function docSections() {
 this.titles = new Array(0)	// this is the list of section titles
 this.anchors = new Array(0)	// this is the matching HTML anchors
}