[infinispan-issues] [JBoss JIRA] (ISPN-11697) Server Docs: Fix user tool issues

Server Docs: Fix user tool issues --------------------------------- Key: ISPN-11697 URL: https://issues.redhat.com/browse/ISPN-11697 Project: Infinispan Issue Type: Enhancement Components: Documentation Reporter: Donald Naro Assignee: Donald Naro Priority: Major Fix For: 10.1.7.Final, 11.0.0.Dev05 11/master: needs to be user-tool not user-tools. add missing + characters to keep things together in rendered html 10.1.x: According to the following documentation [1] of user-tools, '-a' is includedd in example command line. But when invoking user-tools with '-a', that throws ISPN090001.