cirno/plan9port
1
0
Fork 0
mirror of https://github.com/9fans/plan9port.git synced 2025-01-12 11:10:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
plan9port/dist
History
rsc 68e139f293 Get installed size right.
2005-09-13 04:50:28 +00:00
..
debian
pkg
.cvsignore
addsrclinks
checkman.awk
deb.html
fixurls
glendacircle.png
isum
main.html
maketarball
manindexbottom.html
manindextop.html
mantrailer.html
manweb
mkfile
mkfilelist
README
spaceglenda100.png
ss.html
unix.html

README 

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