#!/bin/sh out="./src/web/stamp.php" public="./src/public" files=$(find "$public" -type f -printf %P\\n) printf " "$out" for file in $files; do stamp=$(date +%s -r "$public/$file") echo "\$__stamps['public/$file'] = $stamp;" >> "$out"; done echo "define('FILE_TIMES', \$__stamps);" >> "$out" echo "unset(\$__stamps);" >> "$out"