| 1234567891011121314151617181920212223 |
- # 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
|
