This command allows you to export the current document with all highlighting information into a HTML document.
Aquesta ordre us permetrà exportar el document actual amb tota la informació del ressaltat en un document HTML.