diff options
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index 19b02ec3..a8ec996b 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -11,6 +11,8 @@ ## make clean - remove intermediate files ## make distclean - remove all generated files ## +## make elisptidy - tidy up elisp files (run whitespace-cleanup) +## ## make ChangeLog - make ChangeLog from CVS sources ## make tags - update TAGS file for Elisp sources ## make autoloads - update autoloads @@ -282,6 +284,14 @@ 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/ lib/ +############################################################ +# +# Elisp tidy +# +tidy: $(EL) + @echo "***** CLEANUP ELISP FILES ****" + for f in $(EL); do echo "Cleaning $$f"; $(BATCHEMACS) -eval "(progn (find-file \"$$f\") (whitespace-cleanup) (save-buffer))"; done + ############################################################ |