https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102657
--- Comment #1 from Eric Gallager <egallager at gcc dot gnu.org> --- It looks like it's also missing a dvi target: Doing dvi in libcody make[2]: *** No rule to make target `dvi'. Stop. make[1]: *** [dvi-libcody] Error 1 make: *** [do-dvi] Error 2