| org.h2.tools.doc |
|
Javadoc package documentation
Tools to build the documentation.
|
| Java Source File Name | Type | Comment |
| GenerateDoc.java | Class | This application generates sections of the documentation
by converting the built-in help section (INFORMATION_SCHEMA.HELP)
to cross linked html. |
| LinkChecker.java | Class | The link checker makes sure that each link in the documentation
points to an existing target. |
| MergeDocs.java | Class | This application merges the html documentation to one file
(onePage.html), so that the PDF document can be created. |
| SpellChecker.java | Class | The spell checker makes sure that each word used in the source code
is spelled correctly, by comparing the words with a word list. |
| WebSite.java | Class | Create the web site, mainly by copying the regular docs. |
| XMLChecker.java | Class | This class checks that the HTML and XML part of the source code
is well-formed XML. |
| XMLParser.java | Class | This class implements a simple XML pull parser. |