# HG changeset patch
# User wenzelm
# Date 1527594351 -7200
# Node ID 2acbf8129d8bb195589d8a14fe744ea86b5e9b93
# Parent  c551d8acaa4206bc3d3ddee9935d53cca285bd03
clarified option -O: avoid conflict with build/dump option -D;

diff -r c551d8acaa42 -r 2acbf8129d8b src/Doc/System/Sessions.thy
--- 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>
diff -r c551d8acaa42 -r 2acbf8129d8b src/Pure/Thy/export.scala
--- 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),