diff etc/FTP @ 54543:5766a12d96ac

(info-xref-check-buffer): Report empty filename parts. Remove spurious node duplicate suppression, doesn't work, not wanted. (info-xref-output): Take format style args, add "sit-for 0" to let user see the results as they progress. (info-xref-check-all-custom): New function.
author Juri Linkov <juri@jurta.org>
date Thu, 25 Mar 2004 10:32:33 +0000
parents c2a966416be5
children 3681678d3d86
line wrap: on
line diff