diff options
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) |