From 9de1fc7b4001806d7de893a884330a937b2e3138 Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
Date: Tue, 21 Jan 2025 19:52:53 +0000
Subject: [PATCH] make_offline_archive: whoops, this is PHP, not Perl. :)
---
make_offline_archive.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/make_offline_archive.php b/make_offline_archive.php
index 8faccc0..9188d72 100755
--- a/make_offline_archive.php
+++ b/make_offline_archive.php
@@ -124,7 +124,7 @@ function cook_tree_for_offline_html($srcdir, $dstdir)
$num_children--;
}
-if ( -f "$tmpoutdir/FrontPage.html" ) {
+if (file_exists("$tmpoutdir/FrontPage.html")) {
copy("$tmpoutdir/FrontPage.html", "$tmpoutdir/index.html"); // make a copy, not a rename, in case something references FrontPage explicitly.
}