Commit 48463bb2f8bdbdd77961888514b34b0579da8354

Paul Eggert 2017-09-23T11:03:34

install-sh: do not assume / = // * lib/install-sh: Do not append / to destination directory if it already ends in /. This supports a destination directory of // on hosts where / and // are distinct directories, as POSIX allows.