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# Systems where /bin/sh is not the default shell need this.  The $(shell)
8# command below won't work with e.g. stock DOS/Windows shells.
9SHELL = /bin/sh
10
11have-Makefile := $(shell test -f Makefile && echo yes)
12
13# If the user runs GNU make but has not yet run ./configure,
14# give them a diagnostic.
15ifeq ($(have-Makefile),yes)
16
17include Makefile
18include $(srcdir)/Makefile.maint
19
20else
21
22all:
23	@echo There seems to be no Makefile in this directory.
24	@echo "You must run ./configure before running \`make'."
25	@exit 1
26
27endif
28