| Re: [platform-doc-dev] Tips and tricks |
topics_Tips.xml is not contributed (in plugin.xml) to org.eclipse.help.toc
exension point.
Konrad Kolosowski
Eclipse Help System
John
Arthorne/Ottawa/IBM@IBM To: platform-doc-dev@xxxxxxxxxxx
CA cc:
Sent by: Subject: [platform-doc-dev] Tips and tricks
platform-doc-dev-admin@
eclipse.org
03/19/2003 12:33 PM
Please respond to
platform-doc-dev
I noticed that the "Tips and tricks" section in the platform user guide is
broken in today's build. I looked at toc.xml and topics_Tips.xml and
everything looks fine. Does anybody have an idea about what could be
wrong?