Simplify logging, update copyrights and some minor cleanups.
[tinc] / 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