Merge pull request #385 from nhooyr/windows-install-e17d

windows install e17d
This commit is contained in:
Anmol Sethi 2022-12-06 09:04:57 -08:00 committed by GitHub
commit 0cc8b1a966
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 17 additions and 3 deletions

View file

@ -6,7 +6,14 @@ cd -- "$(dirname "$0")/.."
main() {
ensure_prefix_sh_c
"$sh_c" mkdir -p "$PREFIX/bin"
ensure_os
if [ "$OS" = windows ]; then
"$sh_c" install ./bin/d2 "$PREFIX/bin/d2.exe"
else
"$sh_c" install ./bin/d2 "$PREFIX/bin/d2"
fi
"$sh_c" mkdir -p "$PREFIX/share/man/man1"
"$sh_c" install ./man/d2.1 "$PREFIX/share/man/man1"
}

View file

@ -5,7 +5,14 @@ cd -- "$(dirname "$0")/.."
main() {
ensure_prefix_sh_c
ensure_os
if [ "$OS" = windows ]; then
"$sh_c" rm -f "$PREFIX/bin/d2.exe"
else
"$sh_c" rm -f "$PREFIX/bin/d2"
fi
"$sh_c" rm -f "$PREFIX/share/man/man1/d2.1"
}

2
ci/sub

@ -1 +1 @@
Subproject commit c186afdcc1a6ef8a8f6202df2cb3fd89f104a567
Subproject commit 54d7f80dc41689707ab00cca52d430e898672e9f