gcc: fixes to tex docs