"Alfred M. Szmidt" <[EMAIL PROTECTED]> writes:

> 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).

To do that, I think I'd put something like this in Makefile.am,

  MANTARGET = @MANTARGET@
  
  man-pages:
        ... rules to make man pages ...
  
  all-local: $(MANTARGET)

and then let configure substitute @MANTARGET@ as "man-pages" or ""
depending on the availability of the needed tools. That's quite
similar to how EXTRA_PROGRAMS is used.

/Niels


_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd

Reply via email to