diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/mkfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/mkfile b/dist/mkfile index 28cf31ce..06bdbb33 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -1,4 +1,4 @@ -MKSHELL=rc +MKSHELL=$PLAN9/bin/rc check.out:V: cd ../man; mk indices |