ports/shells/zsh/files/patch-Util_helpfiles
Baptiste Daroussin 2bf3dda12b Commit forgotten patch:
Mandoc was not able to find zshbuiltin.1 in the path
2019-01-27 15:37:13 +00:00

11 lines
428 B
Text

--- Util/helpfiles.orig 2019-01-27 15:34:43 UTC
+++ Util/helpfiles
@@ -57,7 +57,7 @@ $coltmp = $destdir . '/' . $coltmpbase;
$args = "$manfile >$mantmp";
unlink($mantmp);
&Info('attempting man ', $args);
-if(system('man ' . $args) || !(-s $mantmp)) {
+if(system('man ./' . $args) || !(-s $mantmp)) {
unlink($mantmp);
&Info('attempting nroff -man ', $args);
if(system('nroff -man ' . $args) || !(-s $mantmp)) {