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