1.1 --- a/doc-src/antiquote_setup.ML	Sun Mar 08 17:26:14 2009 +0100
     1.2 +++ b/doc-src/antiquote_setup.ML	Sun Mar 08 17:37:18 2009 +0100
     1.3 @@ -153,7 +153,7 @@
     1.4  
     1.5  fun output_entity check markup index kind ctxt (logic, name) =
     1.6    let
     1.7 -    val hyper_name = "{" ^ NameSpace.append kind (NameSpace.append logic (clean_name name)) ^ "}";
     1.8 +    val hyper_name = "{" ^ Long_Name.append kind (Long_Name.append logic (clean_name name)) ^ "}";
     1.9      val hyper =
    1.10        enclose ("\\hyperlink" ^ hyper_name ^ "{") "}" #>
    1.11        index = SOME true ? enclose ("\\hypertarget" ^ hyper_name ^ "{") "}";