diff -r 577edc39b501 -r 790129514c2d doc-src/antiquote_setup.ML
--- a/doc-src/antiquote_setup.ML	Sun Mar 08 17:26:14 2009 +0100
+++ b/doc-src/antiquote_setup.ML	Sun Mar 08 17:37:18 2009 +0100
@@ -153,7 +153,7 @@
 
 fun output_entity check markup index kind ctxt (logic, name) =
   let
-    val hyper_name = "{" ^ NameSpace.append kind (NameSpace.append logic (clean_name name)) ^ "}";
+    val hyper_name = "{" ^ Long_Name.append kind (Long_Name.append logic (clean_name name)) ^ "}";
     val hyper =
       enclose ("\\hyperlink" ^ hyper_name ^ "{") "}" #>
       index = SOME true ? enclose ("\\hypertarget" ^ hyper_name ^ "{") "}";