diff --git a/configure.php b/configure.php
index 35b34eba4..5728645ca 100755
--- a/configure.php
+++ b/configure.php
@@ -775,13 +775,20 @@ function getFileModificationHistory(): array {
 echo "done.\n";
 
 echo "Running XInclude/XPointer... ";
-$status = $dom->xinclude();
+$statusCount = 0;
+do {
+    $status = $dom->xinclude();
+    if ($status !== -1) {
+        // For some dumb reason when no substitution are made it returns false instead of 0...
+        $status = (int) $status;
+        $statusCount += $status;
+        echo "included $status\n...";
+    }
+} while ($status !== -1 && $status > 0);
 if ($status === -1) {
     echo "failed.\n";
 } else {
-    /* For some dumb reason when no substitution are made it returns false instead of 0... */
-    $status = (int) $status;
-    echo "done. Performed $status XIncludes\n";
+    echo "done. Performed $statusCount XIncludes\n";
 }
 flush();