Missing jdeveloper.hs file for local documentation.

Question

I am trying to add the local documentation for JDeveloper. I have downloaded and unzipped the jdev9i_902_doc.zip file. However, I don't see a jdeveloper.hs file in the distribution.
Adding Local Documentation to a Base Installation
To install the documentation set, download jdev9i_902_doc.zip from http://otn.oracle.com/products/jdev. You can install it into JDeveloper directly without any configuration by extracting the files into <jdeveloper_root>.
If you install the documentation into any other location locally, you will need to configure it.
1. In the Tools menu and choose Preferences.
2. In the preferences tree navigate to Documentation.
3. Select the Use Local Documentation radio button.
4. Set the full path to the jdeveloper.hs file.
I can perform steps 1-3 just find, but where is the jdeveloper.hs file? It did not come as part of the jdev9i_902.zip file. If I use my /usr/local/jdeveloper/jdev/doc as the path, then I get no documentation when I select Help. Any ideas about the jdeveloper.hs file?

Answer 1

Craig,
The Install Guide for 9.0.2 was slightly misleading, the jdeveloper.hs file can be found inside the jdeveloper.jar. If you set your path to be /usr/local/jdeveloper/jdev/doc/ohj, then the Help should now work.
The steps have been updated in 9.0.3 to make it a little clearer.
Hope that helps,
Lisa