gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnuradio: fix build when man-pages are disabled (#479969)

Browse Source
This commit is contained in:
Doron Behar
2026-01-14 13:20:19 +00:00
committed by GitHub
parent 0582398214 ea31e52899
commit cf0937fe25
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/radio/gnuradio/shared.nix
+2
View File
@@ -29,6 +29,8 @@ in
{
outputs = [
"out"
]
++ lib.optionals (hasFeature "man-pages") [
"man"
];
src =