diff options
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index 6ad5f29b..12e076cc 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -308,8 +308,7 @@ distdocs: FORCE # distcompile: FORCE @echo "***** MAKING ELC FILES ****" -## FIXME: for now, ignroe errors in compilation - -$(MAKE) compile + $(MAKE) compile @@ -412,7 +411,7 @@ dist: ## WARNING: RELEASEDIR is not cleaned, but files there ## with same names will be overwritten. ## -release: distclean tag dist +release: distclean tag dist @echo "*************************************************" @echo " Making release (installing tarball distributions)." @echo "*************************************************" |