Fix target name of non-sphinx tarball (#12205)

We reference that in copy-unix-release-artifacts.sh so the name
actually matters.

changelog_begin
changelog_end
This commit is contained in:
Moritz Kiefer 2021-12-20 09:50:38 +01:00 committed by GitHub
parent f057765cd2
commit 6d6a91189a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -349,7 +349,7 @@ genrule(
"//language-support/ts/daml-types:docs",
"@daml-cheat-sheet//:site",
],
outs = ["other-html-docs.tar.gz"],
outs = ["non-sphinx-html-docs.tar.gz"],
cmd = """
set -eou pipefail
DIR=$$(mktemp -d)