diff options
Diffstat (limited to 'tools/doxy2json/ardourdoc.sh')
-rwxr-xr-x | tools/doxy2json/ardourdoc.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/doxy2json/ardourdoc.sh b/tools/doxy2json/ardourdoc.sh index 548d403e61..8d69a64e28 100755 --- a/tools/doxy2json/ardourdoc.sh +++ b/tools/doxy2json/ardourdoc.sh @@ -49,7 +49,7 @@ foreach (json_decode (\$json, true) as \$a) { foreach (\$api as \$k => \$a) { \$jout[] = \$a; } -file_put_contents('doc/ardourapi.json', json_encode (\$jout, JSON_PRETTY_PRINT)); +file_put_contents('doc/ardourapi.json.gz', gzencode (json_encode (\$jout, JSON_PRETTY_PRINT))); EOF -ls -l doc/ardourapi.json +ls -l doc/ardourapi.json.gz |