emit-eof ( document -- )

Vocabulary

html5

Inputs

document

an object

Outputs

None

Definition

USING: kernel ;

IN: html5

: emit-eof ( document -- )
    dup flush-table-characters f tree-insert drop ;