[devdocsgjs/main: 671/1867] Merge pull request #848 from jmerle/generate-docs-json

[Andy Holmes <andyholmes src gnome org>]

commit def4b286e38f37437360b9462a968dc1a193cc62
Merge: 921a61cd 9fa21319
Author: Jasper van Merle <jaspervmerle gmail com>
Date:   Sat Jul 20 01:55:10 2019 +0200

    Merge pull request #848 from jmerle/generate-docs-json
    
    Automatically generate public/docs/docs.json when it's needed

 lib/app.rb            | 3 +++
 public/docs/docs.json | 1 -
 2 files changed, 3 insertions(+), 1 deletion(-)
---