diff --git a/docs/scripts/generate-platform-navigation.js b/docs/scripts/generate-platform-navigation.js
index d5d7a36b0..b61aec58a 100644
--- a/docs/scripts/generate-platform-navigation.js
+++ b/docs/scripts/generate-platform-navigation.js
@@ -50,7 +50,7 @@ import { type Platform } from './platform-utils';
 const PLATFORM_PAGES: { path: string, platforms: Platform[] }[] = [
 ${config.pages.map(page => {
   const platformsStr = JSON.stringify(page.platforms);
-  return `  { path: '${page.path}', platforms: ${platformsStr} },`;
+  return `  { path: ${JSON.stringify(page.path)}, platforms: ${platformsStr} },`;
 }).join('\n')}
 ];