diff options
author | Konrad Kolosowski | 2004-06-16 15:23:52 +0000 |
---|---|---|
committer | Konrad Kolosowski | 2004-06-16 15:23:52 +0000 |
commit | 38f9ab3e961edd833caf65b867d0dc2637ae19de (patch) | |
tree | 2eeef67a4ac86bfba83b45e325be3722d3dae681 | |
parent | 18f84874d8a1173de98792e25cf1ebefd38d374d (diff) | |
download | eclipse.platform.ua-38f9ab3e961edd833caf65b867d0dc2637ae19de.tar.gz eclipse.platform.ua-38f9ab3e961edd833caf65b867d0dc2637ae19de.tar.xz eclipse.platform.ua-38f9ab3e961edd833caf65b867d0dc2637ae19de.zip |
*** empty log message ***
-rw-r--r-- | org.eclipse.help.base/preferences.ini | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini index 3c3e543b5..5d9809cb1 100644 --- a/org.eclipse.help.base/preferences.ini +++ b/org.eclipse.help.base/preferences.ini @@ -94,6 +94,14 @@ basic.viewBackground=#FFFFFF # Example: locales=en ja zh_CN zh_TW locales= +############################### +# Pre-built documentation index +############################### + +# If pre-built documentation index is provided with the product, the ID of the plug-in delivering +# the index must be specified to the help system here. +#productIndex=com.my.plugin + ###################### # Browsers ###################### |