diff options
Diffstat (limited to 'next-lib/src/Makefile')
| -rw-r--r-- | next-lib/src/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile index dab5a8a00..c32f1bbbb 100644 --- a/next-lib/src/Makefile +++ b/next-lib/src/Makefile @@ -3,7 +3,7 @@ RUNMAKE=$(RUNGHC) Make.hs GF_LIB_PATH=.. -.PHONY: all present alltenses lang api math prelude test demo synopsis link compiled constructX clean +.PHONY: all present alltenses lang api math prelude test demo parse synopsis link compiled constructX clean all: link prelude constructX present alltenses compat @@ -38,6 +38,9 @@ test: demo: $(RUNMAKE) demo +parse: + $(RUNMAKE) parse + synopsis: cd doc ; $(RUNGHC) MkSynopsis ; cd .. |