diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index f27cb7ccf..922a2a494 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -124,5 +124,6 @@ gfdoc: mv ../prelude/*.html doc/gfdoc clean: - -rm */*.gfc */*.gfr */*.gf~ + -rm */*.gfc */*.gfr */*.gf~ ../*/*.gfc ../*/*.gfr ../*/*.gf~ ../compiled.tgz langs.gfcm +