Resurrect lost gtk doc xml file