plan9port/dist
2017-09-01 13:25:20 -04:00
..
debian add text version of install(1) 2005-11-28 16:36:57 +00:00
pkg Depend on faces. 2005-09-13 04:00:04 +00:00
troff tfont: accomodate broken fonts with multiply-mapped glyphs 2008-07-10 01:07:31 -04:00
.cvsignore Add. 2005-09-13 01:40:50 +00:00
addsrclinks dist: new, linear addsrclinks 2008-07-03 18:50:23 -04:00
buildmk all: linux/mips port 2015-06-03 15:34:06 +00:00
checkman.awk use plan 9 rc 2005-07-19 11:04:21 +00:00
deb.html not true 2006-03-20 04:04:58 +00:00
fixurls Use env to find perl, for NetBSD (grr) 2005-08-10 18:52:00 +00:00
glendacircle.png new glenda for page bottoms 2005-02-15 05:07:41 +00:00
isum new isum 2005-11-26 15:36:47 +00:00
isum.awk INSTALL: don't try to use \b in acme window 2012-10-20 13:41:25 -04:00
main.html all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00
maketarball maketarball 2005-01-14 20:13:15 +00:00
manindexbottom.html new glenda 2005-02-16 17:13:51 +00:00
manindextop.html checkpoint 2005-01-14 03:45:44 +00:00
mantrailer.html all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00
manweb manweb: avoid null concatenation 2008-12-06 16:34:33 -08:00
mkdirlist all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00
mkfile all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00
mkfilelist mkfilelist: give find an argument 2008-12-01 19:03:49 -05:00
publish dist/publish: fix export of of usr tree 2017-09-01 13:25:20 -04:00
README all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00
spaceglenda100.png checkpoint 2005-01-14 03:45:44 +00:00
ss.html all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00
unix.html all: update site from swtch.com to 9fans.github.io 2017-09-01 13:25:20 -04:00

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