Fix include in makefile

diff --git a/packages/Makefile.in b/packages/Makefile.in
index e944de8675ec4ec279209ff1413dced128fe35a8..528bb8d3a065893cf949e4218a24bcb4692e9f4a 100644 (file)
--- a/packages/Makefile.in
+++ b/packages/Makefile.in
@@ -16,7 +16,7 @@ check-maybe: check-packages
 
 WRITE_LOG = > $@ 2>&1 || { stat=ERROR; cat $@; }; echo $$stat: $@
 
-gnumakefile-inc.mk: ./admin/package-makefile.el
+makefile-inc.mk: ./admin/package-makefile.el
        $(EMACS) --batch --load admin/package-makefile.el \
                --funcall package-makefile
 

diff --git a/packages/gnumakefile.mk b/packages/gnumakefile.mk
deleted file mode 100644 (file)
index eba54fc..0000000
--- a/packages/gnumakefile.mk
+++ /dev/null
@@ -1,16 +0,0 @@
-core/example/example.log: core/example/example-pkg.el
-       @$(EMACS) --batch --load admin/assess-discover.el \
-               --eval '(assess-discover-run-and-exit-batch-dir "core/example")' \
-               $(WRITE_LOG)
-
-
-core/example:
-       test ! -f core/example/example.log || mv ./core/example/example.log ./core/example/example.log~
-       $(MAKE) core/example/example.log WRITE_LOG=
-
-example: core/example
-
-.PHONY: core/example example
-
-
-check-packages: core/example/example.log