diff man/mark.texi @ 49729:f3c2ee28113b

(info-xref-check): Use line-beginning-position. (info-xref-all-info-files): Cons a bit less. (info-xref-check-buffer): Use push and replace-regexp-in-string. (info-xref-output): Call insert only once. (info-xref-whitespace): Remove.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 11 Feb 2003 21:00:58 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff