push-end-tag-letter ( ch document -- )

Vocabulary

html5

Inputs

ch	an object
document	an object

Outputs

None

Definition

USING: kernel math ;

IN: html5

: push-end-tag-letter ( ch document -- )
    [
        [ dup ascii-upper-alpha? [ 32 + ] when ] dip
        push-tag-name
    ] [ push-temporary-buffer ] 2bi ;