src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Fri Nov 05 12:33:27 2021 +0100
+++ b/src/Pure/Tools/build.scala	Fri Nov 05 12:36:00 2021 +0100
@@ -521,7 +521,7 @@
         for ((chapter, entries) <- browser_chapters)
           Presentation.update_chapter_index(presentation_dir, chapter, entries)
 
-        if (browser_chapters.nonEmpty) Presentation.make_global_index(presentation_dir)
+        if (browser_chapters.nonEmpty) Presentation.update_global_index(presentation_dir)
       }
     }