Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_doc.scala
changeset 72685 a7877e14e7f8
parent 72683 b5e6f0d137a7
child 72763 3cc73d00553c 
--- a/src/Pure/Admin/build_doc.scala	Sun Nov 22 13:11:40 2020 +0100
+++ b/src/Pure/Admin/build_doc.scala	Sun Nov 22 13:31:33 2020 +0100
@@ -55,7 +55,7 @@
 
             using(store.open_database_context(deps.sessions_structure))(db_context =>
               Presentation.build_documents(session, deps, db_context,
-                output_pdf = Some(Path.explode("~~/src/doc"))))
+                output_pdf = Some(Path.explode("~~/doc"))))
             None
           }
           catch {
isabelle