diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /media-gfx/gnofract4d/metadata.xml | |
parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) |
gentoo resync : 15.01.2020
Diffstat (limited to 'media-gfx/gnofract4d/metadata.xml')
-rw-r--r-- | media-gfx/gnofract4d/metadata.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/media-gfx/gnofract4d/metadata.xml b/media-gfx/gnofract4d/metadata.xml index fb2b6be847f0..38cc24b2d952 100644 --- a/media-gfx/gnofract4d/metadata.xml +++ b/media-gfx/gnofract4d/metadata.xml @@ -6,7 +6,9 @@ <name>Gentoo Graphics Project</name> </maintainer> <upstream> - <remote-id type="sourceforge">gnofract4d</remote-id> <remote-id type="github">edyoung/gnofract4d</remote-id> </upstream> + <use> + <flag name="doc">Install user manual</flag> + </use> </pkgmetadata> |