--- a/src/Doc/System/Sessions.thy Mon May 28 23:15:30 2018 +0100
+++ b/src/Doc/System/Sessions.thy Tue May 29 13:45:51 2018 +0200
@@ -557,7 +557,7 @@
\<open>Usage: isabelle export [OPTIONS] SESSION
Options are:
- -D DIR target directory for exported files (default: "export")
+ -O DIR output directory for exported files (default: "export")
-d DIR include session directory
-l list exports
-n no build of session
@@ -590,7 +590,7 @@
\<^emph>\<open>all\<close> theory exports. Multiple options \<^verbatim>\<open>-x\<close> refer to the union of all
specified patterns.
- Option \<^verbatim>\<open>-D\<close> specifies an alternative base directory for option \<^verbatim>\<open>-x\<close>: the
+ Option \<^verbatim>\<open>-O\<close> specifies an alternative output directory for option \<^verbatim>\<open>-x\<close>: the
default is \<^verbatim>\<open>export\<close> within the current directory. Each theory creates its
own sub-directory hierarchy, using the session-qualified theory name.
\<close>
--- a/src/Pure/Thy/export.scala Mon May 28 23:15:30 2018 +0100
+++ b/src/Pure/Thy/export.scala Tue May 29 13:45:51 2018 +0200
@@ -251,7 +251,7 @@
Usage: isabelle export [OPTIONS] SESSION
Options are:
- -D DIR target directory for exported files (default: """ + default_export_dir + """)
+ -O DIR output directory for exported files (default: """ + default_export_dir + """)
-d DIR include session directory
-l list exports
-n no build of session
@@ -266,7 +266,7 @@
(both excluding ":" and "/"), ** (excluding ":"), and [abc] or [^abc],
and variants {pattern1,pattern2,pattern3}.
""",
- "D:" -> (arg => export_dir = Path.explode(arg)),
+ "O:" -> (arg => export_dir = Path.explode(arg)),
"d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
"l" -> (_ => export_list = true),
"n" -> (_ => no_build = true),