emit-eof ( document -- )


Vocabulary
html5

Inputs
documentan object


Outputs
None

Definition


: emit-eof ( document -- ) "emit-eof" print f tree-insert drop ;