Lorsque l'utilisateur effectue une recherche dans l'aide d'un produit, la recherche s'exécute dans un index de documentation.
Par défaut, cet index est créé lors du premier appel de la recherche de l'aide, mais il peut être préconstruit et fourni à l'utilisateur en même temps qu'un produit.
Cela évite que l'indexation se produise sur la machine utilisateur
et permet à l'utilisateur d'obtenir les résultats de sa première recherche plus rapidement.
Pour construire un index, procédez comme suit :
eclipse -nosplash -application org.eclipse.help.indexTool -vmargs -DindexOutput=outputDirectory -DindexLocale=environnement localà partir du répertoire qui contient le produit. Les arguments suivants doivent être définis :
Par exemple, l'exécution de
eclipse -nosplash -application org.eclipse.help.indexTool -vmargs -DindexOutput=d:/build/com.my.plugin -DindexLocale=en
entraîne l'enregistrement du fichier doc_index.zip en cours de sauvegarde dans le répertoire nl/en
qui sera créé sous d:/build/com.my.plugin. Le zip contiendra l'index du sommaire des documents qui sont disponibles pour les utilisateurs lorsqu'ils exécutent le produit dans l'environnement local en.
com.my.plugin/
plugin.xml
nl/
de/
doc_index.zip
en/
doc_index.zip
autres fichiers de ce plug-in
org.eclipse.help/productIndex=com.my.plugin