flatpak: build documentation too

2018-04-30 20:44:39 -03:00
parent 5ff7afab88
commit 65b00e5a23
1 changed files with 2 additions and 1 deletions
@@ -162,7 +162,8 @@
                }
            ],
            "config-opts" : [
-                "-Dtracing=true"
+                "-Dtracing=true",
+                "-Ddocumentation=true"
            ]
        }
    ]