From 4858237ab2e173591509abe5a5a2248608b1022c 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

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

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