I see no need to mess with the "missing" script for this (but I've never understood what the missing script is ever good for, I just guess it has to do with sometimes ignoring errors and then leaving generated files like configure and Makefile.in unchanged).
Being able to run make and skip the generation of some `unimportant' part, like man-pages (thats how it is used in coreutils for example). Cheers. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
