Index: doc/user/05_ui/05_batch/index.html =================================================================== --- doc/user/05_ui/05_batch/index.html (revision 10481) +++ doc/user/05_ui/05_batch/index.html (revision 10482) @@ -24,6 +24,7 @@