@@ -151,7 +151,13 @@ blockToConTeXt (CodeBlock _ str) =
151 -- blankline because \stoptyping can't have anything after it, inc. '}'
151 -- blankline because \stoptyping can't have anything after it, inc. '}'
152blockToConTeXt (RawBlock "context" str) = return $ text str <> blankline
152blockToConTeXt (RawBlock "context" str) = return $ text str <> blankline
153blockToConTeXt (RawBlock _ _ ) = return empty
153blockToConTeXt (RawBlock _ _ ) = return empty
154−blockToConTeXt (Div _ bs) = blockListToConTeXt bs
154+blockToConTeXt (Div (ident,_,_) bs) = do
155+ contents <- blockListToConTeXt bs
157+ then return contents
159+ ("\\reference" <> brackets (text $ toLabel ident) <> braces empty)
155blockToConTeXt (BulletList lst) = do
161blockToConTeXt (BulletList lst) = do
156 contents <- mapM listItemToConTeXt lst
162 contents <- mapM listItemToConTeXt lst
157 return $ ("\\startitemize" <> if isTightList lst
163 return $ ("\\startitemize" <> if isTightList lst