23 lines
602 B
Makefile
23 lines
602 B
Makefile
# Having a separate GNUmakefile lets me use features of GNU make
|
|
# to generate the man pages.
|
|
# This makefile is used only if you run GNU Make.
|
|
# It is necessary if you want to build targets usually of interest
|
|
# only to the maintainer.
|
|
|
|
have-Makefile := $(shell test -f Makefile && echo yes)
|
|
|
|
# If the user runs GNU make but has not yet run ./configure,
|
|
# give them a diagnostic.
|
|
ifeq ($(have-Makefile),yes)
|
|
|
|
include Makefile
|
|
include $(srcdir)/Makefile.maint
|
|
|
|
else
|
|
|
|
all:
|
|
@echo There seems to be no Makefile in this directory.
|
|
@echo "You must run ./configure before running \`make'."
|
|
@exit 1
|
|
|
|
endif
|