[Building Sakai] Removing unused tools from the Help menu.

[Matthew Jones]

You should be able to use the profile help.hide

## HELP TOOL (helpPath defined in PATHS section above)
# Comma separated list of tools whose help should not be added to the help
index.
# DEFAULT: none
# help.hide=sakai.profile



On Sun, Jun 1, 2014 at 3:51 PM, Alaa NIZAR <alaanizar at iihem.ac.ma> wrote:

> Hello,
>
> How can we remove some unused tools from the help menu?
>
> Is it done at the tool level menu or elsewhere?
>
> Thank you.
>
>
> Sent from Samsung Mobile
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.
>
> _______________________________________________
> sakai-dev mailing list
> sakai-dev at collab.sakaiproject.org
> http://collab.sakaiproject.org/mailman/listinfo/sakai-dev
>
> TO UNSUBSCRIBE: send email to
> sakai-dev-unsubscribe at collab.sakaiproject.org with a subject of
> "unsubscribe"
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://collab.sakaiproject.org/pipermail/sakai-dev/attachments/20140601/a77732c9/attachment.html