src/Pure/Tools/build.scala

             progress.expose_interrupt()
             progress.echo("Presenting " + session_name + " ...")
             Presentation.session_html(
               resources, session_name, deps, db_context, progress = progress,
               verbose = verbose, html_context = html_context,
-              html_elements = Presentation.html_elements1, presentation = presentation)
+              elements = Presentation.elements1, presentation = presentation)
           })
 
         val browser_chapters =
           presentation_chapters.groupBy(_._1).
             map({ case (chapter, es) => (chapter, es.map(_._2)) }).filterNot(_._2.isEmpty)