diff --git a/manual/documentation2.php b/manual/documentation2.php
index 67e4372db..77b8728d1 100644
--- a/manual/documentation2.php
+++ b/manual/documentation2.php
@@ -84,7 +84,8 @@ class DocTool
if (substr($c, 0, 5) == "') !== false) {
+ } elseif (strpos($c, '
') !== false ||
+ strpos($c, '