From 78e51a8c6678b6e3dff3d619aa786669f531f4bc Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Fri, 14 Jan 2005 03:45:44 +0000
Subject: checkpoint

---
 dist/mkfile | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'dist/mkfile')

diff --git a/dist/mkfile b/dist/mkfile
index 5e679d52..4def6970 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -1,5 +1,16 @@
+MKSHELL=rc
+
 check.out:V:
 	cd ../man; mk indices
 	cd ..
-	awk -f dist/checkman.awk man/man*/*.* >dist/check.out
+	9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out
+
+man:V:
+	rc ./manweb
 
+push:V:
+	rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
+	rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html
+	rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html
+	@{cd ../unix/man && mk push}
+	@{cd ../unix && mk push}
-- 
cgit v1.2.3