updates

[runtime.git] / scripts / silcdoc / gen_toc.php

diff --git a/scripts/silcdoc/gen_toc.php b/scripts/silcdoc/gen_toc.php
index d91d0c05d2ad5ce34f0667f8777ef97f50fd5471..48e60e37aedd876cb1ba27d975c57e7ed464eef8 100644 (file)
--- a/scripts/silcdoc/gen_toc.php
+++ b/scripts/silcdoc/gen_toc.php
@@ -28,8 +28,7 @@
 
 <?php
 /* Get the actual data for the page */
-if (Is_Readable($page.".html"))
-  require $page.".html";
+require "$page";
 ?>
 
 </font>