# HG changeset patch
# User Bryan O'Sullivan <bos@serpentine.com>
# Date 1157396251 25200
# Node ID 773f4a9e7975d8adad746793589498f6e60a46d9
# Parent  df88df78288d7cc46eb41be17633ffdfd69f425b
Fix escaping of backslashes.  Finally!

diff -r df88df78288d -r 773f4a9e7975 en/examples/run-example
--- a/en/examples/run-example	Mon Sep 04 10:58:09 2006 -0700
+++ b/en/examples/run-example	Mon Sep 04 11:57:31 2006 -0700
@@ -16,14 +16,24 @@
 import tempfile
 import time
 
+tex_subs = {
+    '\\': '\\textbackslash{}',
+    '{': '\\{',
+    '}': '\\}',
+    }
+
+def gensubs(s):
+    start = 0
+    for i, c in enumerate(s):
+        sub = tex_subs.get(c)
+        if sub:
+            yield s[start:i]
+            start = i + 1
+            yield sub
+    yield s[start:]
+
 def tex_escape(s):
-    if '\\' in s:
-        s = s.replace('\\', '\\\\')
-    if '{' in s:
-        s = s.replace('{', '\\{')
-    if '}' in s:
-        s = s.replace('}', '\\}')
-    return s
+    return ''.join(gensubs(s))
         
 class example:
     shell = '/usr/bin/env bash'