summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/pkg/basic-expat.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/pkg/basic-expat.mdwn b/doc/pkg/basic-expat.mdwn
index 66a1182..bb6cfb9 100644
--- a/doc/pkg/basic-expat.mdwn
+++ b/doc/pkg/basic-expat.mdwn
@@ -168,7 +168,7 @@ We can now make **opkbuild** prepare our build work area.
$ sudo prokit build $root -b -c -T nop .
We're running **opkbuild** through
-[[**prokit-build**(1)|dev/prokit/prokit-build.1]]. `$root` is the root
+[[**prokit-build**(8)|dev/prokit/prokit-build.8]]. `$root` is the root
directory of our ProteanOS development system.
The options are explained in the help output of **opkbuild**, obtained by