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 | |
| 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
| -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 |