From 845090579543e631b6a3507b065cf726830891b6 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 27 Jun 2007 08:23:45 +0000 Subject: [PATCH] example-based Toy0 --- resource-1.0/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 +