--- inc/fetch_html_file.inc	2001/10/10 12:00:18	1.1
+++ inc/fetch_html_file.inc	2001/11/19 09:11:36	1.2
@@ -1,6 +1,6 @@
 <?php
 
-include("find_html_file.inc");
+include_once("find_html_file.inc");
 
 function fetch_html_file($file) {