From 617c0193bfd5891da7538f3b29463366eee579c1 Mon Sep 17 00:00:00 2001
From: Ben Lynn <blynn@cs.stanford.edu>
Date: Thu, 30 Aug 2007 07:32:08 -0700
Subject: [PATCH] minor edits

can handle MediaWiki linking syntax
---
 intro.txt | 5 +++--
 wiki2xml  | 8 ++++++++
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/intro.txt b/intro.txt
index 55dd286..cd3738c 100644
--- a/intro.txt
+++ b/intro.txt
@@ -1,6 +1,7 @@
-= Introduction =
+= Introduction to Version Control =
 
-I'll use an analogy to introduce version control, which can also be called revision control, source control, or source code management. See the Wikipedia article for a normal explanation.
+I'll use an analogy to introduce version control, also termed revision control, source control, or source code management.
+See [[http://en.wikipedia.org/wiki/Revision_control][the Wikipedia entry on revision control]] for a normal explanation.
 
 == Work is Play ==
 
diff --git a/wiki2xml b/wiki2xml
index ad8482b..b696e4d 100755
--- a/wiki2xml
+++ b/wiki2xml
@@ -49,6 +49,14 @@ BEGIN {
     next
 }
 
+/\[\[/ {
+    gsub("\\[\\[", "<ulink url=\"")
+    gsub("]\\[", "\">")
+    gsub("]]", "</ulink>")
+    print $0
+    next
+}
+
 {
     if (!in_para) {
 	print "<para>"
-- 
2.11.4.GIT