push-doctype-public-identifier ( ch document -- )


Vocabulary
html5

Inputs
chan object
documentan object


Outputs
None

Definition