plan9port/dist
Kare Nuorteva b3336e5cbb all: remove .cvsignore files
Rename following .cvsignore files to .gitkeep since they are
required by the build (directories must exist before build):
	- bin/fossil/.gitkeep
	- bin/fs/.gitkeep
	- bin/venti/.gitkeep

Change-Id: I9c2865058480cffb3a4613f25e2eca1f7e5578c0
2017-09-14 17:25:17 +02:00
..
debian all: remove .cvsignore files 2017-09-14 17:25:17 +02: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
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