@@ -302,13 +302,8 @@ inlineToConTeXt (Link txt (('#' : ref), _)) = do
302302 opts <- gets stOptions
303303 contents <- inlineListToConTeXt txt
304304 let ref' = toLabel $ stringToConTeXt opts ref
305− return $ text "\\in"
306− <> braces (if writerNumberSections opts
307− then contents <+> text "(\\S"
308− else contents) -- prefix
309− <> braces (if writerNumberSections opts
310− then text ")"
311− else empty) -- suffix
305+ return $ text "\\goto"
306+ <> braces contents
312307 <> brackets (text ref')
313308
314309inlineToConTeXt (Link txt (src, _)) = do