diff make-dist @ 69415:bbbd0ad05f29

(Info-dir-remove-duplicates): Move point to the beginning of the current line after deleting the entries from redundant heading. Use marker for `limit' and compare it with point before calling `re-search-forward'.
author Juri Linkov <juri@jurta.org>
date Sat, 11 Mar 2006 22:35:18 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff