diff --git a/scripts/expected_doxygen_warnings.txt b/scripts/expected_doxygen_warnings.txt
index 2103d86652..18310b2d69 100644
--- a/scripts/expected_doxygen_warnings.txt
+++ b/scripts/expected_doxygen_warnings.txt
@@ -155,16 +155,6 @@
parameter 'clas_hierarchy'
/cbmc/jbmc/src/java_bytecode/select_pointer_type.h:50: warning: The following parameters of select_pointer_typet::specialize_generics(const pointer_typet &pointer_type, const generic_parameter_specialization_mapt &generic_parameter_specialization_map, generic_parameter_recursion_trackingt &visited_nodes) const are not documented:
parameter 'visited_nodes'
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:35: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:36: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:37: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:37: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:38: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:39: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:39: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:39: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:39: warning: Unsupported xml/html tag found
-/cbmc/src/goto-programs/show_goto_functions_xml.cpp:39: warning: Unsupported xml/html tag found
/cbmc/src/solvers/refinement/string_refinement.cpp:2099: warning: argument 'expr' of command @param is not found in the argument list of string_constraintt::universal_only_in_index(const string_constraintt &constr)
/cbmc/src/solvers/refinement/string_refinement.cpp:2106: warning: The following parameters of string_constraintt::universal_only_in_index(const string_constraintt &constr) are not documented:
parameter 'constr'
diff --git a/src/goto-programs/show_goto_functions_xml.cpp b/src/goto-programs/show_goto_functions_xml.cpp
index 41fd545a7f..ffb1865ff9 100644
--- a/src/goto-programs/show_goto_functions_xml.cpp
+++ b/src/goto-programs/show_goto_functions_xml.cpp
@@ -33,11 +33,13 @@ show_goto_functions_xmlt::show_goto_functions_xmlt(
{}
/// Walks through all of the functions in the program and returns an xml object
-/// representing all their functions. Produces output like this:
+/// representing all their functions. Produces output like this: \code{.xml}
+///
///
///
/// // 34 file main.c line 1 s = { 'a', 'b', 'c', 0 };
-///
+///
+/// \endcode
/// \param goto_functions: the goto functions that make up the program
xmlt show_goto_functions_xmlt::convert(
const goto_functionst &goto_functions)