src/Doc/System/Misc.thy

--- a/src/Doc/System/Misc.thy	Sat May 19 14:52:01 2018 +0200
+++ b/src/Doc/System/Misc.thy	Sat May 19 15:45:45 2018 +0200
@@ -145,7 +145,7 @@
   \<^medskip>
   Get the value only of the same settings variable, which is particularly
   useful in shell scripts:
-  @{verbatim [display] \<open>isabelle getenv -b ISABELLE_OUTPUT\<close>}
+  @{verbatim [display] \<open>isabelle getenv -b ISABELLE_HOME_USER\<close>}
 \<close>