diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-03-06 17:14:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-03-06 17:14:56 +0000 |
| commit | 136290184557ea9375b860bc8ec5e567677fd517 (patch) | |
| tree | 2acd02b0b350539e399e1ae3eb4b20a171951fd8 /next-lib/src/Makefile | |
| parent | a0abbc5cddb710da9c844585c752e8faf26a0425 (diff) | |
marked Constructors that don't belong to a minimal implementation of RG
Diffstat (limited to 'next-lib/src/Makefile')
| -rw-r--r-- | next-lib/src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile index 89a9d4a3e..673cb732b 100644 --- a/next-lib/src/Makefile +++ b/next-lib/src/Makefile @@ -50,7 +50,7 @@ synopsis: cd doc ; $(RUNGHC) MkSynopsis ; cd .. link: - chmod a+x mkPresent + chmod a+x mkPresent mkMinimal compiled: (cd .. && tar -zcf resource-compiled.tar.gz prelude alltenses present) |