Minimal update of doc.html - remove broken links and add git info.
1 file changed