diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-08-28 17:17:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-08-28 17:17:09 +0000 |
| commit | 0e99e06b8fd27fa25456f7715d6df23a2a0b4870 (patch) | |
| tree | 46c2d0d2e59f1b037b0f49a125bff84afa0c5618 /Makefile.devel | |
| parent | 9628a3e3a1ae1f34959adc67dc7e34c48d562c33 (diff) | |
Cleanup makefiles
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Makefile.devel b/Makefile.devel index 33f42ce5..94ea98a7 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -166,9 +166,6 @@ TAR=tar # zip utility ZIP=zip -# For recursive make -DEVELMAKE=make -f Makefile.devel - # Files not to include the distribution area or tarball # FIXME: really this should be an opt-in list! UNFINISHED_ELISP=generic/pg-metadata.el generic/pg-xhhtml.el generic/_pkg.el @@ -413,8 +410,8 @@ dist: @echo "*************************************************" @echo " Running 'make alldist' for new release .." @echo "*************************************************" - (cd $(DISTBUILDIR)/$(RELEASENAME); $(DEVELMAKE) alldist) - (cd $(DISTBUILDIR)/$(RELEASENAME); $(DEVELMAKE) clean) + (cd $(DISTBUILDIR)/$(RELEASENAME); $(MAKE) alldist) + (cd $(DISTBUILDIR)/$(RELEASENAME); $(MAKE) clean) @echo "*************************************************" # @echo " Copying doc files .." # @echo "*************************************************" |