#!/bin/bash cd `dirname $0` cd ../.. set -e test -f "$1" echo "# consolidating JSON $1" php << EOF \$a) { \$jout[] = \$a; } file_put_contents('doc/ardourapi.json.gz', gzencode (json_encode (\$jout, JSON_PRETTY_PRINT))); EOF ls -l doc/ardourapi.json.gz