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
                            AND jdtaptOptions.txt
                            
- overview-platform.html -> /reference/misc/overview-jdt.html
