diff options
| -rw-r--r-- | share/man/man7/mirroring-ports.7 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/man7/mirroring-ports.7 b/share/man/man7/mirroring-ports.7 index 882f1eed98c..00a6e15905b 100644 --- a/share/man/man7/mirroring-ports.7 +++ b/share/man/man7/mirroring-ports.7 @@ -1,4 +1,4 @@ -.\" $OpenBSD: mirroring-ports.7,v 1.11 2003/07/31 10:53:50 espie Exp $ +.\" $OpenBSD: mirroring-ports.7,v 1.12 2004/01/11 23:53:08 pvalchev Exp $ .\" .\" Copyright (c) 2000 Marc Espie .\" @@ -70,7 +70,7 @@ and .Ev F set on the command line, e.g., .Bd -literal -offset indent -cd mirror && make -j 5 -f path_to_makefile FETCH=fetch_script +cd mirror && make -k -j 5 -f path_to_makefile FETCH=fetch_script .Ed .Pp Targets are set up so that each port is referenced by its full name, and |