From 076167ddbf96f32ac56aea3210c8f6d3c130d4e2 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 5 Sep 2009 09:39:27 +0000
Subject: Add tidy target (cleans whitespace)

---
 Makefile.devel | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'Makefile.devel')

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
+
 
 
 ############################################################
-- 
cgit v1.2.3