--- 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)