From 5674507b4d2c9113abd41e696c814b728b45ccc5 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 6 Jan 2003 08:47:57 +0000
Subject: [PATCH] Slightly more rboust

---
 doc/index.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/index.php b/doc/index.php
index 1e4d03b470..66b6f81290 100644
--- a/doc/index.php
+++ b/doc/index.php
@@ -14,6 +14,8 @@
 
     if (!empty($sub)) {
         $sub = "#$sub";
+    } else {
+        $sub = "";
     }
 
     if (empty($file)) {
-- 
2.39.5