File 4271-Fix-installation-of-docs-to-directory-with... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 4271-Fix-installation-of-docs-to-directory-with-space-and.patch of Package erlang (Revision 0b3a6d6e89afeaba4dcdf8fb3d620103)

Currently displaying revision 0b3a6d6e89afeaba4dcdf8fb3d620103 , Show latest

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

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

Places

File 4271-Fix-installation-of-docs-to-directory-with-space-and.patch of Package erlang (Revision 0b3a6d6e89afeaba4dcdf8fb3d620103)

Places