X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile.in;h=d28b9312342809ca02ad82cdee707291b44a8c6f;hb=915b9bff547705bf9df287ffb2a057eeaec4ca02;hp=d38e70f8ac73ba0540ff61d10812fae82b7233c5;hpb=349ba0ff3bded60e8035d5896a6d5f689a632ae7;p=goals.git

diff --git a/Goalfile.in b/Goalfile.in
index d38e70f..d28b931 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -29,13 +29,15 @@ goal all = : "Goalfile", tool, documentation;
     ./config.status %@
 }
 
-goal clean = {
-    for d in %subdirs; do
-        pushd $d
-        rm -f *~
-        rm -f *.cmi *.cmo *.cmx *.o
-        popd
-    done
+goal clean = : wrap ("clean-subdir", subdirs), clean-subdir ("."), clean-other
+
+goal clean-subdir (dir) = {
+    cd %dir
+    rm -f *~
+    rm -f *.cmi *.cmo *.cmx *.o
+}
+
+goal clean-other = {
     rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
     rm -f man/*.1 man/*.5
     rm -f tests/*.log
@@ -124,8 +126,7 @@ goal depend =
 let POD2MAN = "@POD2MAN@"
 
 goal documentation = : pod2man ("goals", "1"),
-                       pod2man ("Goalfile", "5"),
-                       pod2man ("goals-reference", "5")
+                       pod2man ("Goalfile", "5")
 
 goal pod2man (page, section) =
 "man/%page.%section" : "docs/%page.pod" {