mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
77a0a5b519
Also note that the file must be valid shell and mk input. For #321. |
||
---|---|---|
.. | ||
debian | ||
pkg | ||
troff | ||
addsrclinks | ||
buildmk | ||
checkman.awk | ||
deb.html | ||
fixurls | ||
glendacircle.png | ||
isum | ||
isum.awk | ||
main.html | ||
maketarball | ||
manindexbottom.html | ||
manindextop.html | ||
mantrailer.html | ||
manweb | ||
mkdirlist | ||
mkfile | ||
mkfilelist | ||
publish | ||
README | ||
spaceglenda100.png | ||
ss.html | ||
unix.html |
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