Quando un utente effettua una ricerca sul contenuto della guida di un
prodotto, la ricerca viene eseguita nell'indice di documentazione. Per
impostazione predefinita, questo indice viene creato la prima volta che
viene eseguita una ricerca nella guida, ma può anche essere pregenerato e
distribuito insieme al prodotto. Questo evita che la creazione
dell'indice sul computer dell'utente e consente di ottenere i risultati della
prima ricerca più rapidamente.
Per generare un indice eseguire le seguenti operazioni:
eclipse -nosplash -application org.eclipse.help.indexTool -vmargs -DindexOutput=outputDirectory -DindexLocale=localedalla directory che contiene il prodotto. È necessario impostare i seguenti argomenti:
Ad esempio, con il comando
eclipse -nosplash -application org.eclipse.help.indexTool -vmargs -DindexOutput=d:/build/com.my.plugin -DindexLocale=en
il file doc_index.zip sarà salvato nella directory nl/en
creata sotto d:/build/com.my.plugin.
Il file zip conterrà l'indice dei documenti disponibili per gli utenti
che eseguono il prodotto nella locale en.
com.my.plugin/
plugin.xml
nl/
de/
doc_index.zip
en/
doc_index.zip
altri file del plug-in
org.eclipse.help/productIndex=com.my.plugin