[Bug other/36779] make pdf fails if done before another make
--- Comment #2 from hal at oz dot net 2008-07-09 22:36 --- Fair enough, but if that's the case, it'd be better to generate a "you can't do that - make the compiler first" message and quit gracefully. BTW, this used to not work at all, but now make pdf does work in gcc/doc and libiberty
[Bug other/36779] make pdf fails if done before another make
--- Comment #1 from pinskia at gcc dot gnu dot org 2008-07-09 22:31 --- I think this is by design. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36779