From e84720622fbf89fcdbda397f11fbcf1385ee29ed Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 30 May 2012 08:56:47 +0000
Subject: [PATCH] make linearizations in browser Makefile

---
 lib/src/api/libraryBrowser/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/lib/src/api/libraryBrowser/Makefile b/lib/src/api/libraryBrowser/Makefile
index 4a17cc396..424625b44 100644
--- a/lib/src/api/libraryBrowser/Makefile
+++ b/lib/src/api/libraryBrowser/Makefile
@@ -1,2 +1,8 @@
-all: 
+all: pgf
+
+pgf: 
 	gf -make LibraryBrowser???.gf
+
+linearizations:
+	echo "pg -funs" | gf alltenses/Lang.gfo | runghc MkLinAPI.hs 
+