diff --git a/configure.php b/configure.php
index 047299e8c8..bd17307952 100755
--- a/configure.php
+++ b/configure.php
@@ -595,7 +595,7 @@ function dtd_conf_entities()
     else
         $conf[] = "<!ENTITY manual.chmonly ''>";
 
-    file_put_contents( __DIR__ . "/temp/manual.inc" , implode( "\n" , $conf ) );
+    file_put_contents( __DIR__ . "/temp/manual.ent" , implode( "\n" , $conf ) );
 }
 
 function dtd_file_entities()
diff --git a/manual.xml b/manual.xml
index c8a3521703..42ce09da9d 100644
--- a/manual.xml
+++ b/manual.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE PHPDOC [
 
 <!-- Parameter entities used to configure manual.xml -->
-<!ENTITY % configure         SYSTEM "./temp/manual.inc">
+<!ENTITY % configure         SYSTEM "./temp/manual.ent">
 %configure;
 
 <!-- Entities collected by entities.php -->