diff --git a/src/Demos/GNUmakefile b/src/Demos/GNUmakefile deleted file mode 100644 index 3d9aef914..000000000 --- a/src/Demos/GNUmakefile +++ /dev/null @@ -1,7 +0,0 @@ -TOPDIR = ../.. -include $(TOPDIR)/Make/makedirdefs -include $(TOPDIR)/Make/makedefs - -DIRS = $(DEMOS_DIRS) - -include $(TOPDIR)/Make/makedirrules