diff make-dist @ 15126:f9d06e4e877c

(Info-find-node): Don't treat file name `dir' specially if it comes with a directory name.
author Richard M. Stallman <rms@gnu.org>
date Thu, 02 May 1996 06:08:40 +0000
parents 0e3910449935
children e8ceba484a94
line wrap: on
line diff