flex: Fix installation of man pages.

diff --git a/pkgs/core/flex/flex.nm b/pkgs/core/flex/flex.nm
index fd8a807d891f3ca3165d88d4134e564ccc6abe67..04ecc55f2024a51f5b365ffe41cbe9cfe3aaeedf 100644 (file)
--- a/pkgs/core/flex/flex.nm
+++ b/pkgs/core/flex/flex.nm
@@ -58,7 +58,8 @@ define STAGE_BUILD
        cd $(DIR_APP) && \
                ./configure \
                        --prefix=/usr \
-                       --disable-static
+                       --disable-static \
+                       --mandir=/usr/share/man
 
        cd $(DIR_APP) && make $(PARALLELISMFLAGS)
 endef