plan9port

mirror of https://github.com/9fans/plan9port.git synced 2025-01-12 11:10:07 +00:00

History

rsc 40bc3b9540 maketarball		2005-01-14 20:13:15 +00:00
..
checkman.awk	Many small edits.	2005-01-13 04:49:19 +00:00
download.html	checkpoint	2005-01-14 03:45:44 +00:00
main.html	checkpoint	2005-01-14 03:45:44 +00:00
maketarball	maketarball	2005-01-14 20:13:15 +00:00
manindexbottom.html	checkpoint	2005-01-14 03:45:44 +00:00
manindextop.html	checkpoint	2005-01-14 03:45:44 +00:00
mantrailer.html	checkpoint	2005-01-14 03:45:44 +00:00
manweb	shut up	2005-01-14 18:03:32 +00:00
mkfile	better job at cleaning	2005-01-14 18:00:26 +00:00
README	howto	2005-01-14 19:51:46 +00:00
spaceglenda100.png	checkpoint	2005-01-14 03:45:44 +00:00
unix.html	better job at cleaning	2005-01-14 18:00:26 +00:00

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