diff options
author | Alexander Mikhaylenko <exalm7659@gmail.com> | 2018-10-29 18:54:23 +0500 |
---|---|---|
committer | Alexander Mikhaylenko <alexm@gnome.org> | 2022-01-05 17:27:28 +0500 |
commit | fa2c03f095f17faf8f406779d618e0d0cfb4bd14 (patch) | |
tree | fa00efba2861ffa1534c3e8bceeff9538ec0da80 | |
parent | 56ff30ea45d0d4cb6263ed3aff15579ec86ceeed (diff) | |
download | yelp-fa2c03f095f17faf8f406779d618e0d0cfb4bd14.tar.gz |
flatpak: Add flatpak manifest
This is intended to be used for easier hacking, similarly to Settings.
gnome-user-docs isn't strictly required for building, but ot provides
content to be displayed.
-rw-r--r-- | org.gnome.Yelp.json | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/org.gnome.Yelp.json b/org.gnome.Yelp.json new file mode 100644 index 00000000..d6eddfc9 --- /dev/null +++ b/org.gnome.Yelp.json @@ -0,0 +1,43 @@ +{ + "app-id" : "org.gnome.Yelp", + "runtime" : "org.gnome.Platform", + "runtime-version" : "master", + "sdk" : "org.gnome.Sdk", + "rename-desktop-file" : "yelp.desktop", + "command" : "yelp", + "tags" : [ + "devel", + "development", + "nightly" + ], + "finish-args" : [ + "--share=ipc", + "--socket=fallback-x11", + "--socket=wayland", + "--device=dri" + ], + "modules" : [ + { + "name" : "gnome-user-docs", + "sources" : [ + { + "type" : "git", + "url" : "https://gitlab.gnome.org/GNOME/gnome-user-docs.git" + } + ] + }, + { + "name" : "yelp", + "builddir" : true, + "config-opts" : [ + "--with-webkit2gtk-4-0" + ], + "sources" : [ + { + "type" : "git", + "url" : "https://gitlab.gnome.org/GNOME/yelp.git" + } + ] + } + ] +} |