X-Git-Url: https://tinc-vpn.org/git/browse?p=tinc;a=blobdiff_plain;f=doc%2FGNUmakefile;fp=doc%2FGNUmakefile;h=0000000000000000000000000000000000000000;hp=8fb7a6b79688e6ae25ea868e58b41b5390b0112f;hb=013a2e159e42c46808ea8d0b6abd57525db30a50;hpb=efa5148bc76effb440d807d653dda02de050fde0

diff --git a/doc/GNUmakefile b/doc/GNUmakefile
deleted file mode 100644
index 8fb7a6b7..00000000
--- a/doc/GNUmakefile
+++ /dev/null
@@ -1,23 +0,0 @@
-# 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