diff -r a31203f58b20 -r 52cb0e965041 doc-src/antiquote_setup.ML
--- a/doc-src/antiquote_setup.ML	Thu May 08 22:05:15 2008 +0200
+++ b/doc-src/antiquote_setup.ML	Thu May 08 22:17:37 2008 +0200
@@ -14,7 +14,7 @@
 (* misc utils *)
 
 val clean_string = translate_string
-  (fn "_" => "-"
+  (fn "_" => "\\_"
     | ">" => "$>$"
     | "#" => "\\#"
     | "{" => "\\{"