comparison man/frames.texi @ 78813:776b9b17aed0

(tex-region): Simplify previous change, handling the case where the region is not in `tex-main-file'. (tex-region-1): Delete. (tex-region-header): New function, doing the header part of the old tex-region-1.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 Sep 2007 00:26:00 +0000
parents 588363d97121
children 02b9a9aa5b0c dc002877ce12 e6fdae9180d4
comparison
equal deleted inserted replaced
78812:dfb375e20bcc 78813:776b9b17aed0