DEBSOURCES
Skip Quicknav
sources / coq / 8.2.pl2%2Bdfsg-1 / install.sh
12345678910111213
#! /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