# HG changeset patch
# User wenzelm
# Date 1645474785 -3600
# Node ID 2efbb4e813adf2f019425d8aac27b2580a8c8f3e
# Parent  488c7e8923b29fdd4ba3b418e0886ddce2d31015
clarified URL;

diff -r 488c7e8923b2 -r 2efbb4e813ad src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Mon Feb 21 21:15:05 2022 +0100
+++ b/src/Pure/General/http.scala	Mon Feb 21 21:19:45 2022 +0100
@@ -356,10 +356,11 @@
   {
     private val doc_contents = isabelle.Doc.main_contents()
 
+    // example: .../docs/web/viewer.html?file=system.pdf
     def doc_request(request: Request): Option[Response] =
       for {
         p <- request.uri_path if p.is_pdf
-        s = p.implode if s.startsWith("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)