DEBSOURCES
Skip Quicknav
sources / coq / 8.4pl4dfsg-1 / install.sh
1234567891011
#! /bin/sh dest="$1" shift for f; do bn=`basename $f` dn=`dirname $f` install -d "$dest/$dn" install -m 644 $f "$dest/$dn/$bn" done