Re: sgml-mode.el: html-close-tag

[Stefan Monnier]

> (defvar html-close-tag-extra-empty-tags '()
>   "List of (names of) extra tags which are not closed.")
> => IMHO there should be an `sgml-extra-empty-tags' variable, because
> this is mostly used buffer-locally and you want to say:
> 
> Local Variables:
> sgml-extra-empty-tags: ("p" "li")
> End:

These aren't really "empty tags" but tags for which it is legal (in SGML
but not in XML) to drop the closing tag.  I agree that there should be
such a sgml-unclosed-tags (or some such name) and it could also be used
by a hypothetical indentation algorithm (my hope is that the xml-lite
indentation algorithm can be generalized to support it so that it can
also be used for sgml indentation).

> => As it says in the docstring: this is not very useful, but it doesn't
> hurt if we give it a long name like `sgml-close-tag-ignore-nesting' ?

There's no problem with long names.


        Stefan