From 97b21b5838759e71144d02ff554f594c56fe54ae Mon Sep 17 00:00:00 2001
From: Russ Cox
Date: Sat, 19 Feb 2011 10:36:14 -0500
Subject: xv6: refresh from 2010 page
---
web/mkhtml | 70 --------------------------------------------------------------
1 file changed, 70 deletions(-)
delete mode 100755 web/mkhtml
(limited to 'web/mkhtml')
diff --git a/web/mkhtml b/web/mkhtml
deleted file mode 100755
index 74987e6..0000000
--- a/web/mkhtml
+++ /dev/null
@@ -1,70 +0,0 @@
-#!/usr/bin/perl
-
-my @lines = <>;
-my $text = join('', @lines);
-my $title;
-if($text =~ /^\*\* (.*?)\n/m){
- $title = $1;
- $text = $` . $';
-}else{
- $title = "Untitled";
-}
-
-$text =~ s/[ \t]+$//mg;
-$text =~ s/^$/
/mg;
-$text =~ s!\b([a-z0-9]+\.(c|s|pl|h))\b!$1!g;
-$text =~ s!^(Lecture [0-9]+\. .*?)$!$1!mg;
-$text =~ s!^\* (.*?)$!$1
!mg;
-$text =~ s!((
)+\n)+!\n!g;
-$text =~ s!
\n?((
)+\n)+!
\n!g;
-$text =~ s!((
)+\n)+!\n
!g;
-$text =~ s!\b\s*--\s*\b!\–!g;
-$text =~ s!\[([^\[\]|]+) \| ([^\[\]]+)\]!$2!g;
-$text =~ s!\[([^ \t]+)\]!$1!g;
-
-$text =~ s!``!\“!g;
-$text =~ s!''!\”!g;
-
-print <
-
-
-$title
-
-
-
-$title
-
-EOF
-print $text;
-print <
-
-EOF
--
cgit v1.2.3