void writeTOCMapFile(PrintWriter out) {
		out.println("  <!-- Table of Contents help IDs -->");
		for (int i = 0; i < tocList.size(); i++) {
			String target = tocList.get(i);
			String url = urlMap.get(target);

			String line = "  <mapID target=\"" + target + "\" url=\"" + url + "\" />";
			out.println(line);
		}
		out.println("  <!-- End of Table of Contents help IDs -->");
	}
Write the section of the map file for the table of contents.

@param out output for the map file that maps a help ID to a url.
@throws IOException
Ghidra/Framework/Help/src/main/java/help/TOCConverter.java