diff make-dist @ 53780:6c059bf40adc

(Fcopy_file): If NEWNAME is a directory, expand the basename of FILE relative to it, not FILE itself.
author Eli Zaretskii <eliz@is.elta.co.il>
date Mon, 02 Feb 2004 20:51:18 +0000
parents f9221b5b5d6d
children 400d9bd54631
line wrap: on
line diff