git.tinc-vpn.org Git - tinc/blob - doc/GNUmakefile

   1 # Having a separate GNUmakefile lets me use features of GNU make
   2 # to generate the man pages.
   3 # This makefile is used only if you run GNU Make.
   4 # It is necessary if you want to build targets usually of interest
   5 # only to the maintainer.
   6
   7 have-Makefile := $(shell test -f Makefile && echo yes)
   8
   9 # If the user runs GNU make but has not yet run ./configure,
  10 # give them a diagnostic.
  11 ifeq ($(have-Makefile),yes)
  12
  13 include Makefile
  14 include $(srcdir)/Makefile.maint
  15
  16 else
  17
  18 all:
  19         @echo There seems to be no Makefile in this directory.
  20         @echo "You must run ./configure before running \`make'."
  21         @exit 1
  22
  23 endif