--- a/src/Doc/System/Sessions.thy Wed Nov 04 18:14:28 2015 +0100
+++ b/src/Doc/System/Sessions.thy Wed Nov 04 18:32:47 2015 +0100
@@ -259,8 +259,8 @@
related sources of theories and auxiliary files, and target heap
images. Accordingly, it runs instances of the prover process with
optional document preparation. Its command-line usage
- is:\footnote{Isabelle/Scala provides the same functionality via
- \<^verbatim>\<open>isabelle.Build.build\<close>.}
+ is:\<^footnote>\<open>Isabelle/Scala provides the same functionality via
+ \<^verbatim>\<open>isabelle.Build.build\<close>.\<close>
@{verbatim [display]
\<open>Usage: isabelle build [OPTIONS] [SESSIONS ...]