Commit d0a2d4ff authored by Björn Brandenburg's avatar Björn Brandenburg

add 'macos-clean' target to Makefile to get rid of '.DS_Store' files

parent bac8ebea
......@@ -29,7 +29,7 @@
# FIXME: not quite right, since the output name is different
gallinahtml: GAL=-g
gallinahtml: html
@@ -587,6 +593,10 @@
@@ -585,6 +591,14 @@
$(HIDE)rm -f $(CMOFILES:%.cmo=%.cmx)
.PHONY: archclean
......@@ -37,6 +37,10 @@
+ $(SHOW)'VACUUMING *.vo *.glob .*.aux <empty directories>'
+ $(HIDE)find . -depth \( -iname '*.vo' -or -iname '*.glob' -or -iname '.*.aux' \) ! -path './.git/*' -delete
+ $(HIDE)find . -depth -type d -empty ! -path './.git/*' -delete
+
+macos-clean::
+ $(SHOW)'CLEAN .DS_Store'
+ $(HIDE)find . -depth -iname '.DS_Store' ! -path './.git/*' -delete
# Compilation rules ###########################################################
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment