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