grub: Install man pages in correct path.

diff --git a/pkgs/core/grub/grub.nm b/pkgs/core/grub/grub.nm
index 5f92abba8e1a9ca1dbb0e084631714672fc493c0..e95167d1a5aa2afda3bf224d290c76cc448d9ca3 100644 (file)
--- a/pkgs/core/grub/grub.nm
+++ b/pkgs/core/grub/grub.nm
@@ -81,7 +81,8 @@ define STAGE_BUILD
        cd $(DIR_APP) && \
                grub_cv_prog_objcopy_absolute=yes \
                ./configure \
-                       --prefix=/usr
+                       --prefix=/usr \
+                       --mandir=/usr/share/man
 
        cd $(DIR_APP) && make $(PARALLELISMFLAGS)
 endef