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

[Matthew Jones]

And by *profile* mean the *property* :)


On Sun, Jun 1, 2014 at 3:58 PM, Matthew Jones <matthew at longsight.com> wrote:

> 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/168999b1/attachment.html