El generador de documentos produce un conjunto de páginas HTML y los archivos necesarios (por ejemplo, images) que son necesarios para visualizar las páginas correctamente.
Hay una página para cada archivo de definición de mensajes del conjunto de mensajes y una página de índice adicional que enlaza estas páginas.
La página de índice, (index.html), está destinada a ser el "punto de entrada" en la documentación.