File 4271-Fix-installation-of-docs-to-directory-with-space-and.patch of Package erlang
From cd645af275ac7c5871cf826709ba95ab0fef1b1e Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Fri, 1 Apr 2022 13:28:43 +0200
Subject: [PATCH] Fix installation of docs to directory with space and unicode
---
.github/dockerfiles/Dockerfile.64-bit | 13 +--
.github/dockerfiles/init.sh | 2 +-
.github/workflows/main.yaml | 4 +-
HOWTO/DEVELOPMENT.md | 2 +-
make/doc.mk | 7 +-
system/doc/design_principles/Makefile | 4 +-
system/doc/efficiency_guide/Makefile | 4 +-
system/doc/embedded/Makefile | 4 +-
system/doc/general_info/Makefile | 4 +-
system/doc/getting_started/Makefile | 4 +-
system/doc/installation_guide/Makefile | 8 +-
system/doc/oam/Makefile | 4 +-
system/doc/programming_examples/Makefile | 4 +-
system/doc/reference_manual/Makefile | 4 +-
system/doc/system_architecture_intro/Makefile | 4 +-
system/doc/system_principles/Makefile | 4 +-
system/doc/top/Makefile | 81 ++++++++++++-------
system/doc/top/src/erl_html_tools.erl | 22 ++---
system/doc/tutorial/Makefile | 4 +-
19 files changed, 100 insertions(+), 83 deletions(-)
diff --git a/HOWTO/DEVELOPMENT.md b/HOWTO/DEVELOPMENT.md
index 399ce9fa0d..a66def114b 100644
--- a/HOWTO/DEVELOPMENT.md
+++ b/HOWTO/DEVELOPMENT.md
@@ -550,7 +550,7 @@ in order to fetch the base image. If you want to build the base image locally
you can do that like this:
```bash
-docker built -t docker.pkg.github.com/erlang/otp/ubuntu-base \
+docker build -t docker.pkg.github.com/erlang/otp/ubuntu-base \
--build-arg BASE=ubuntu --build-arg USER=otptest --build-arg uid=$(id -u) \
--build-arg GROUP=uucp --build-arg gid=$(id -g) \
-f .github/dockerfiles/Dockerfile.ubuntu-base .github/
--
2.35.3