diff options
author | rsc <devnull@localhost> | 2005-01-14 19:51:46 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-14 19:51:46 +0000 |
commit | ac9a078b3d8968ee6eec3c236688d46bf2070802 (patch) | |
tree | 88933668830ef9750dbaf4cabfe3cb0a3a6c25a6 /dist | |
parent | 01cd4060628cd7b4ed7e8f827a41add82622303e (diff) | |
download | plan9port-ac9a078b3d8968ee6eec3c236688d46bf2070802.tar.gz plan9port-ac9a078b3d8968ee6eec3c236688d46bf2070802.tar.bz2 plan9port-ac9a078b3d8968ee6eec3c236688d46bf2070802.zip |
howto
Diffstat (limited to 'dist')
-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 + |