src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Mon Nov 04 22:36:42 2024 +0100
+++ b/src/Pure/General/http.scala	Tue Nov 05 22:05:50 2024 +0100
@@ -363,8 +363,8 @@
         p <- request.uri_path if p.is_pdf
         s = p.implode if s.startsWith("web/")
         name = p.base.split_ext._1.implode
-        doc <- doc_contents.docs.find(_.name == name)
-      } yield Response.read(doc.path)
+        entry <- doc_contents.entries(name = _ == name, pdf = true).headOption
+      } yield Response.read(entry.path)
 
     override def apply(request: Request): Option[Response] =
       doc_request(request) orElse super.apply(request)