add source links

1 files changed, 24 insertions, 0 deletions

diff --git a/dist/addsrclinks b/dist/addsrclinks
new file mode 100755
index 00000000..f0311aa8
--- /dev/null
+++ b/dist/addsrclinks
@@ -0,0 +1,24 @@
+#!/usr/bin/perl
+
+@_ = <>;
+my $root = $ENV{'PLAN9'};
+my $html = join("", @_);
+$html =~ s;$root;XXX$root;g;
+while($html =~ /((.|\n)*)XXX($root\/([a-zA-Z0-9_.\/]|&#8722;)*[a-zA-Z0-9_\/])((.|\n)*)/){
+	($a, $b, $c) = ($1, $3, $5);
+	$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;
+	$html = "$a<a href=\"$l\">$b</a>$bb$c";
+}
+print $html;