summaryrefslogtreecommitdiff
path: root/man/1/mk
diff options
context:
space:
mode:
authorValery Ushakov <uwe@stderr.spb.ru>2020-01-01 03:03:27 +0300
committerValery Ushakov <uwe@stderr.spb.ru>2020-01-01 03:03:27 +0300
commit7828d5d2aa2aeba1588dba190fd80dcab95d982b (patch)
treed1eafdafcdfc6663adbb90026ba36995ea041419 /man/1/mk
parent258f4974aca51f197616058e11774242ce91b21d (diff)
parent012b00b7e47ed291b1f2ab07745f5a53db357c91 (diff)
Merged inferno-os/inferno-os into master
Diffstat (limited to 'man/1/mk')
-rw-r--r--man/1/mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/1/mk b/man/1/mk
index bdf56e84..c18eceb7 100644
--- a/man/1/mk
+++ b/man/1/mk
@@ -159,7 +159,7 @@ might be:
.IP
.EX
%.dis: %.b
- limbo $stem.b
+ limbo $stem.b
cp $stem.dis /dis
.EE
.PP