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 +