diff --git a/doc/anonymous_platform.php b/doc/anonymous_platform.php
index d2537a05ad..86c2b1641d 100644
--- a/doc/anonymous_platform.php
+++ b/doc/anonymous_platform.php
@@ -56,7 +56,8 @@ downloading them from the project. Here's how it works:
Create a file app_info.xml in the project directory. This file
lists the applications you have compiled or downloaded. It has the
following form:
-
+
setiathome
@@ -73,7 +74,7 @@ downloading them from the project. Here's how it works:
-]]>
+")?>
Run the core client again. When it requests work from the scheduling
diff --git a/doc/docutil.php b/doc/docutil.php
index 25c5cb4810..b5faef6ee3 100644
--- a/doc/docutil.php
+++ b/doc/docutil.php
@@ -8,17 +8,17 @@ function page_head($title) {
$d = last_mod();
echo "
-
+
$title
-
-
+