diff make-dist @ 1833:ce05243e2491

* texinfo.el (texinfo-mode): Make page-delimiter buffer-local, and set it according to texinfo-chapter-level-regexp.
author Jim Blandy <jimb@redhat.com>
date Mon, 01 Feb 1993 22:19:52 +0000
parents c97e3a38444c
children 3be68763709f
line wrap: on
line diff