Benno Fünfstück 0a2b08884c man-pages: include man3 in $out ... The previous patch to this file removed the docdev output, but did not actually provide the files that were in the docdev output in out. This patch fixes the issue.		2016-09-29 00:34:01 +02:00
..
default.nix	man-pages: include man3 in $out	2016-09-29 00:34:01 +02:00