mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
12 lines
238 B
Text
12 lines
238 B
Text
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 9fans.github.io
|
|
|
|
|