From 12e142724bd769f25ddd1f2daa3637c4ff750ffd Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 30 May 2012 08:42:11 +0000
Subject: [PATCH] make for library browser

---
 lib/src/api/libraryBrowser/Makefile                            | 2 ++
 lib/src/{demo/MkDemofuns.hs => api/libraryBrowser/MkLinAPI.hs} | 0
 2 files changed, 2 insertions(+)
 create mode 100644 lib/src/api/libraryBrowser/Makefile
 rename lib/src/{demo/MkDemofuns.hs => api/libraryBrowser/MkLinAPI.hs} (100%)

diff --git a/lib/src/api/libraryBrowser/Makefile b/lib/src/api/libraryBrowser/Makefile
new file mode 100644
index 000000000..4a17cc396
--- /dev/null
+++ b/lib/src/api/libraryBrowser/Makefile
@@ -0,0 +1,2 @@
+all: 
+	gf -make LibraryBrowser???.gf
diff --git a/lib/src/demo/MkDemofuns.hs b/lib/src/api/libraryBrowser/MkLinAPI.hs
similarity index 100%
rename from lib/src/demo/MkDemofuns.hs
rename to lib/src/api/libraryBrowser/MkLinAPI.hs