diff options
Diffstat (limited to 'dist/README')
| -rw-r--r-- | dist/README | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dist/README b/dist/README new file mode 100644 index 00000000..eaa28d0d --- /dev/null +++ b/dist/README @@ -0,0 +1,11 @@ +This directory contains scripts and files that help to run the distribution. + +mk check.out + summarizes problems with the man pages. + +mk man + recreates the HTML version of the man pages + +mk push + copies the HTML pages to swtch.com + |