El generador de documentos produce un conjunto de páginas HTML y los archivos necesarios (por ejemplo, imágenes) 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á diseñada para ser el "punto de entrada" a la documentación.