diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:39:27 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:39:27 +0000 |
commit | 076167ddbf96f32ac56aea3210c8f6d3c130d4e2 (patch) | |
tree | 67a3ccf48148580a1d74428d36414f9bad7cc9f2 | |
parent | 062b8da18b3b9c5a7aec040e11ea1a91bd4371fc (diff) |
Add tidy target (cleans whitespace)
-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 + ############################################################ |