diff options
| -rw-r--r-- | Makefile.devel | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 722585fa..5056b84f 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -231,6 +231,7 @@ ChangeLog: FORCE # Clean up intermediate files # clean: + @echo "***** CLEANING UP INTERMEDIATE FILES ****" (cd doc; $(MAKE) clean) (cd images; $(MAKE) clean) rm -f doc/ProofGeneralPortrait.eps.gz @@ -244,6 +245,7 @@ clean: # and Emacs backups, CVS temps # distclean: clean + @echo "***** CLEANING UP ALL JUNK FILES ****" find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' \) -print | xargs rm -f (cd doc; $(MAKE) distclean) (cd images; $(MAKE) distclean) @@ -253,6 +255,7 @@ distclean: clean # Clean up all non-cvs files. # cvsclean: clean + @echo "***** CLEANING UP ALL NON-CVS FILES ****" rm -rf $(FILES_NONCVS) (cd doc; $(MAKE) distclean) (cd images; $(MAKE) cvsclean) @@ -263,6 +266,7 @@ cvsclean: clean # autoloads in generic/ # autoloads: $(EL) + @echo "***** MAKING AUTOGENERATED AUTOLOADS ****" $(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -f batch-update-autoloads generic/ @@ -272,9 +276,11 @@ autoloads: $(EL) # Documentation # doc: FORCE + @echo "***** MAKING DOCS ****" (cd doc; $(MAKE) doc) distdocs: FORCE + @echo "***** MAKING DISTRIBUTION DOCS ****" (cd doc; ln -s ../html/ProofGeneralPortrait.eps.gz .; $(MAKE) dist) ############################################################ @@ -282,6 +288,7 @@ distdocs: FORCE # Images # images: FORCE + @echo "***** MAKING IMAGES ****" (cd images; $(MAKE) images) @@ -413,10 +420,13 @@ develdist: ## is made. ## release: distclean tag dist develdist + @echo "*************************************************" + @echo " Making release (installing tarball distributions)." + @echo "*************************************************" mkdir -p $(RELEASEDIR) # clean destination a bit. NB: link RELEASENAME->NAME is copied, # so we remove that too. - (cd $(RELEASEDIR); rm -f $(NAME); rm -rf $(RELEASENAME)) + (cd $(RELEASEDIR); rm $(NAME); rm -rf $(RELEASENAME)) cp -pfdr $(DISTBUILDIR)/* $(RELEASEDIR) (cd $(RELEASEDIR); ln -sf $(RELEASENAMETARGZ) $(LATESTNAME).tar.gz) (cd $(RELEASEDIR); ln -sf $(RELEASENAMEZIP) $(LATESTNAME).zip) |