defautoclose Tag

Context: defautoclose must be used inside a defenv tag (after a inherit tag if present).

Purpose: In general, heitml tags defined by defenv need to be closed by an end tag. If defautoclose is used inside the defenv heitml tries to automatically add a missing end tag.

In some cases this is useful to avoid writing end tags. In general however, the automatic end tag insertion might behave differently than expected. End tag insertion works fine with redefined HTML tags. In fact most existing HTML pages leave out end tags and so defautoclose is really required to process existing pages.

With defautoclose, heitml inserts an end tag in two situations

• Before another tag of the same kind. This means tags defined with defautoclose can not be (directly) nested.
• Before a closing tag of an enclosing environment.

For example, let the paragraph tag be redefined as follows:

Then, heitml adds end tags to the input before producing the output:

Example:

heitml input	What heitml adds to the input	resulting output
<pre><p>This is the first paragraph.<p>This is the second paragraph.</pre>	<pre><p>This is the first paragraph.</p><p>This is the second paragraph.</p></pre>	This is the first paragraph. This is the second paragraph.