clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";