cp -RLp inc/ $DESTDIR/
# other php files
-cp -p admin.*php index.*php upgrade.*php wizard.*php news.php api.php items.php logout.php $DESTDIR/
+cp -p admin.*php index.*php upgrade.*php install.*php news.php api.php items.php logout.php $DESTDIR/
# media
cp -RLp media/ $DESTDIR/