From 8157a3cc7535f3d501c3de1344675ec85e5a74a7 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 18 Jun 2014 15:59:56 +0000
Subject: [PATCH] correction in app/README

---
 examples/app/README | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/app/README b/examples/app/README
index a6f0264a7..3f62cbea8 100644
--- a/examples/app/README
+++ b/examples/app/README
@@ -25,10 +25,12 @@ repository (darcs or github):
 5. Before the final 'ant debug install', do the following:
 
   cd assets/
-  rm *
+  rm *pgf*
   cp -p <Your-GF>/examples/app/App11.pgf .
   gf -make -split-pgf App11.pgf +RTS -K200M
   rm App11.pgf 
   cd ..
   ant debug install
 
+Removing superfluous pgf files is recommended, because otherwise they will be copied to the app and 
+increase its size unnecessarily.