From 1a098d3d7a89433913818ed43e9d134a11e780f2 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 17 Oct 2008 10:05:29 +0000
Subject: [PATCH] Delete gf.fcgi in src/server/Makefile.

---
 src/server/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/server/Makefile b/src/server/Makefile
index 574a2aeca..b46563cc2 100644
--- a/src/server/Makefile
+++ b/src/server/Makefile
@@ -44,3 +44,4 @@ gwt-installball: pgf.fcgi gwt
 
 clean:
 	cabal clean
+	-rm -f pgf.fcgi
\ No newline at end of file