diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-09-26 17:24:10 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-09-26 18:32:30 +0200 |
| commit | 7bd85a094036b241e21b5bd3a3d1815d3d35ca11 (patch) | |
| tree | 9c0ad86639e414f4b2838b764c09ebeede492cef | |
| parent | dev-python/beartype: add 0.19.0 (diff) | |
| download | gentoo-7bd85a094036b241e21b5bd3a3d1815d3d35ca11.tar.gz gentoo-7bd85a094036b241e21b5bd3a3d1815d3d35ca11.tar.bz2 gentoo-7bd85a094036b241e21b5bd3a3d1815d3d35ca11.zip | |
dev-dotnet/gentoo-dotnet-maintainer-tools: update live - install docs
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
| -rw-r--r-- | dev-dotnet/gentoo-dotnet-maintainer-tools/gentoo-dotnet-maintainer-tools-2.9999.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev-dotnet/gentoo-dotnet-maintainer-tools/gentoo-dotnet-maintainer-tools-2.9999.ebuild b/dev-dotnet/gentoo-dotnet-maintainer-tools/gentoo-dotnet-maintainer-tools-2.9999.ebuild index dd8eaae46b9a..ef2c404348b9 100644 --- a/dev-dotnet/gentoo-dotnet-maintainer-tools/gentoo-dotnet-maintainer-tools-2.9999.ebuild +++ b/dev-dotnet/gentoo-dotnet-maintainer-tools/gentoo-dotnet-maintainer-tools-2.9999.ebuild @@ -5,7 +5,7 @@ EAPI=8 MAJOR="$(ver_cut 1)" -DOTNET_PKG_COMPAT=8.0 +DOTNET_PKG_COMPAT="8.0" NUGETS=" fabulous.ast@0.7.0 fantomas.core@6.3.0-alpha-003 @@ -86,4 +86,6 @@ src_install() { for tool_exe in "${DOTNET_TOOLS[@]}" ; do dotnet-pkg-base_dolauncher "/usr/share/${P}/${tool_exe}" done + + dodoc -r docs/*.md } |