From ce03398c16eb2b882cab6911a2a24776f02aea7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aleix=20Bon=C3=A9?= <aleix.boneribo@bsc.es>
Date: Mon, 21 Jul 2025 11:46:18 +0200
Subject: [PATCH] Use installManPage to install paraver manpages

---
 pkgs/paraver/default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkgs/paraver/default.nix b/pkgs/paraver/default.nix
index 77b0a8f..b5316c0 100644
--- a/pkgs/paraver/default.nix
+++ b/pkgs/paraver/default.nix
@@ -12,6 +12,7 @@
 , openssl
 , glibcLocales
 , wrapGAppsHook
+, installShellFiles
 }:
 
 let
@@ -53,6 +54,7 @@ stdenv.mkDerivation rec {
 
   nativeBuildInputs = [
     wrapGAppsHook
+    installShellFiles
   ];
 
   buildInputs = [
@@ -77,7 +79,6 @@ stdenv.mkDerivation rec {
     cp -p ${paraverKernel}/share/filters-config/* $out/share/filters-config
 
     # Move man files to proper location
-    mkdir -p $out/share/man
-    mv $out/share/doc/wxparaver_help_contents/man $out/share/man/man1
+    installManPage $out/share/doc/wxparaver_help_contents/man/*
   '';
 }