#!/bin/bash

cp "$@" "$DESTFILE"
