| The information that was here has been moved to: | |
| http://wiki.eclipse.org/index.php/How_to_add_things_to_the_Eclipse_doc | |
| Differences for jdt.doc.isv: | |
| - platformOptions.txt -> jdtOptions.txt | |
| - overview-platform.html -> /reference/misc/overview-jdt.html |