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 pde.doc.isv:

- platformOptions.txt    -> pdeOptions.txt
                            
- overview-platform.html -> /reference/misc/overview-pde.html
