php
diff --git a/‎configure.php
-2 b/‎configure.php
-2
diff --git a/‎install-unix.xml.in
-40 b/‎install-unix.xml.in
-40
diff --git a/‎install-win.xml.in
-95 b/‎install-win.xml.in
-95
@@ -635,8 +635,6 @@ function getFileModificationHistory(): array {
 // Notice how doing it this way results in generating less than half as many files.
 $infiles = array(
     'manual.xml.in',
-    'install-unix.xml.in',
-    'install-win.xml.in',
     'scripts/file-entities.php.in',
 );