
push @generated_exts, "atfi", "glg", "glstex";
