File 3292-Add-missing-and-pretend-there-are-man-page... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 3292-Add-missing-and-pretend-there-are-man-pages.patch of Package erlang

From ac6b4f98cf32efc74fcddc7896659cecf8bad8da Mon Sep 17 00:00:00 2001
From: Raimo Niskanen <raimo@erlang.org>
Date: Mon, 15 Jul 2024 15:49:47 +0200
Subject: [PATCH 2/5] Add missing / and pretend there are man pages

---
 .github/scripts/release-docs.sh | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.github/scripts/release-docs.sh b/.github/scripts/release-docs.sh
index d47f248996..f3a8e841df 100755
--- a/.github/scripts/release-docs.sh
+++ b/.github/scripts/release-docs.sh
@@ -3,12 +3,10 @@
 if [[ $1 < 27 ]]; then
     docker run -v $PWD/:/github otp "make release docs release_docs && make release_docs DOC_TARGETS='man html pdf' RELEASE_ROOT=/github/docs"
 else
-    docker run -v $PWD/:/github otp ".otp_build download_ex_doc && make release docs release_docs && make release_docs DOC_TARGETS=html RELEASE_ROOT=/github/docs"
+    docker run -v $PWD/:/github otp "./otp_build download_ex_doc && make release docs release_docs && make release_docs DOC_TARGETS=html RELEASE_ROOT=/github/docs"
 fi
 sudo chown -R `whoami` docs
 cd docs
-if [[ $1 < 27 ]]; then
-    tar czf ../otp_doc_man.tar.gz man
-    rm -rf man
-fi
+tar czf ../otp_doc_man.tar.gz man
+rm -rf man
 tar czf ../otp_doc_html.tar.gz *
-- 
2.35.3

Places

File 3292-Add-missing-and-pretend-there-are-man-pages.patch of Package erlang

Places