diff options
author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2015-12-13 22:23:37 +0900 |
---|---|---|
committer | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2015-12-14 12:52:12 +0000 |
commit | af40febb2a131871ff53a71d54d992a8ba7bb502 (patch) | |
tree | 455da3ce14c320f12412c5592a3e2c9acd52fda5 /strata/gnome.morph | |
parent | 35cec38f18e89483005b8f62882b31f650b28548 (diff) | |
download | definitions-af40febb2a131871ff53a71d54d992a8ba7bb502.tar.gz |
Adding gnome-user-docs to GNOME stratum
Provides the base pages for yelp documentation browser
Change-Id: I6107bb5c3a691e5b0bbb1f585b4173a512447179
Diffstat (limited to 'strata/gnome.morph')
-rw-r--r-- | strata/gnome.morph | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/strata/gnome.morph b/strata/gnome.morph index 3c3fa9d8..41e09090 100644 --- a/strata/gnome.morph +++ b/strata/gnome.morph @@ -856,3 +856,10 @@ chunks: - m4-common - WebKitGtk - yelp-xsl +- name: gnome-user-docs + repo: upstream:gnome/gnome-user-docs + ref: 618fc9644317c55d674ca2e1b00b41d364427fb1 + unpetrify-ref: master + build-system: autotools + build-depends: + - yelp-tools |