This command allows you to export the current document with all highlighting information into a HTML document.
Ĉi tiu komando permesas la eksporton de la nuna dokumento kune kun ĉiu emfazado en HTML- dokumenton.