home *** CD-ROM | disk | FTP | other *** search
/ Best Tools for JAVA / Best Tools for JAVA.iso / JAVA_ALL / HOTJAVA_ / HOTJAVA / HOTJAV~1.EXE / hotjava / doc / man / .dbinfo next >
Encoding:
Text File  |  1995-05-19  |  138 b   |  6 lines
  1. JavaSearch Database info file
  2. dbName:../../doc/man/
  3. docPathPrefix:
  4. docURLPrefix:
  5. description:JavaSearch database created with 'javaindex'
  6.