From 1b28230449adee6cd9c279fd902f09299d49b5f1 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 21 Mar 2006 10:49:59 +0000
Subject: [PATCH] Debian package: use install-gf

---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 3315aa35d..1867f7433 100644
--- a/debian/rules
+++ b/debian/rules
@@ -60,7 +60,7 @@ install: build
 	dh_installdirs
 
 	# Add here commands to install the package into debian/gf.
-	$(MAKE) -C src install prefix=$(CURDIR)/debian/gf
+	$(MAKE) -C src install-gf prefix=$(CURDIR)/debian/gf
 
 
 # Build architecture-independent files here.