plan9port

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

History

rsc 83c4506aa5 update		2005-02-11 19:43:43 +00:00
..
checkman.awk	update	2005-02-11 19:43:43 +00:00
fixurls	remove hard-coded /usr/local/plan9	2005-01-18 06:02:57 +00:00
isum	more ignores	2005-01-19 19:17:20 +00:00
main.html	add link to license	2005-02-11 16:42:28 +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	link directly	2005-01-14 20:47:29 +00:00
manweb	silence useless errors	2005-01-18 18:17:00 +00:00
mkfile	use domain name	2005-01-18 18:11:05 +00:00
README	howto	2005-01-14 19:51:46 +00:00
spaceglenda100.png	checkpoint	2005-01-14 03:45:44 +00:00
ss.html	descriptions	2005-01-16 21:29:38 +00:00
unix.html	fix regexp license	2005-02-11 16:52:20 +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