php/archived-doc-en
1
0
Fork 0
mirror of https://github.com/php/doc-en.git synced 2026-03-23 23:32:18 +01:00
Code Issues Packages Projects Releases Wiki Activity

Makefile: Automatically remove Docker containers (#3921)

Browse Source 
As a `docker run` will only perform a single build, the container is useless
afterwards. Ensure it is automatically removed after the build.
This commit is contained in:
Tim Düsterhus
2024-10-24 19:24:10 +02:00
committed by GitHub
parent f013503b36
commit 4ea31bfd29
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@@ -19,10 +19,10 @@ ifneq ($(wildcard ../phd/LICENSE),)
endif
xhtml: .docker/built
docker run ${PATHS} -w /var/www -u ${CURRENT_UID}:${CURRENT_GID} php/doc-en
docker run --rm ${PATHS} -w /var/www -u ${CURRENT_UID}:${CURRENT_GID} php/doc-en
php: .docker/built
docker run ${PATHS} -w /var/www -u ${CURRENT_UID}:${CURRENT_GID} \
docker run --rm ${PATHS} -w /var/www -u ${CURRENT_UID}:${CURRENT_GID} \
-e FORMAT=php php/doc-en
build: .docker/built