Automated Update

plan9port/dist/README

@@ -0,0 +1,12 @@
+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
+
+

plan9port/dist/addsrclinks

@@ -0,0 +1,27 @@
+#!/usr/bin/env perl
+
+@_ = <>;
+my $root = $ENV{'PLAN9'};
+my $html = join("", @_);
+$html =~ s;$root/;XXX$root/;g;
+$newhtml = "";
+while($html =~ /XXX($root\/([a-zA-Z0-9_.\/]|&#8722;)*[a-zA-Z0-9_\/])/){
+	($a, $b, $c) = ($`, $1, $');
+	$b =~ s/&#8722;/-/g;
+	$l = $b;
+	while(! -e $l){
+		if($l =~ /(.*\/)(.+)/){
+			$l = $1;
+		}else{
+			last;
+		}
+	}
+	$bb = substr($b, length($l));
+	$b = $l;
+	$b =~ s/-/\&#8722;/g;
+	$bb =~ s/-/\&#8722;/g;
+	$newhtml .= "$a<a href=\"$l\">$b</a>$bb";
+	$html = $c;
+}
+$newhtml .= $html;
+print $newhtml;

plan9port/dist/buildmk

@@ -0,0 +1,6 @@
+#!/bin/sh
+
+# run this in the src directory
+. ../src/mkenv
+export SYSNAME INSTALL
+sh -x mkmk.sh