Get tlddoc generation working for core-1.2. Remove obsolete stuff inherited from the old core-1.1 build.