From a39938859387987d5aac6201600154a68fad7c40 Mon Sep 17 00:00:00 2001
From: Russ Cox <rsc@swtch.com>
Date: Fri, 1 Sep 2017 13:16:43 -0400
Subject: all: update site from swtch.com to 9fans.github.io

---
 dist/publish | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100755 dist/publish

(limited to 'dist/publish')

diff --git a/dist/publish b/dist/publish
new file mode 100755
index 00000000..bfad7cae
--- /dev/null
+++ b/dist/publish
@@ -0,0 +1,29 @@
+#!/usr/local/plan9/bin/rc
+
+dir=$9fansweb
+if (~ $#dir 0) {
+	dir=$home^/pub/9fans.github.io
+	9fansweb=$dir
+}
+
+root=$dir/plan9port
+if (! test -d $root) {
+	echo $root does not exist >[1=2]
+	exit bad
+}
+
+rm -rf $root/man
+cp -a ../man $root/man
+mkdir -p $root/unix
+cp unix.html $root/unix/index.html
+cp main.html $root/index.html
+cp ss.html $root/screenshots/index.html
+@{cd ../unix/man && mk push}
+@{cd ../unix && mk push}
+
+rm -rf $root/../usr/local/plan9
+mkdir -p $root/../usr/local/plan9
+git archive HEAD | @{cd $root/../usr/local/plan9 && u tar xf -}
+for(d in `{find $root/../usr/local/plan9 -type d}) {
+	9 rc ./mkdirlist $d `{echo $d | sed 's;.*/usr;/usr;'} >t1 && mv t1 $d/index.html
+}
-- 
cgit v1.2.3