aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2009-09-05 09:39:27 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2009-09-05 09:39:27 +0000
commit076167ddbf96f32ac56aea3210c8f6d3c130d4e2 (patch)
tree67a3ccf48148580a1d74428d36414f9bad7cc9f2 /Makefile.devel
parent062b8da18b3b9c5a7aec040e11ea1a91bd4371fc (diff)
Add tidy target (cleans whitespace)
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel10
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
+
############################################################