Merge pull request #168 from gsalzer/patch-1

quentin · web-flow · commit 775d4799cf7c · 2025-12-14T10:04:12.000+01:00
Fix build instruction
diff --git a/pages/docs/build.md b/pages/docs/build.md
@@ -18,7 +18,7 @@ docker build . -f ./.github/images/fedora-41/Dockerfile -t souffle-builder-image
 #
 # Look for message 'CPack: - package: /souffle/build/souffle-VERSION-OS.EXTENSION'
 #
-docker run -e DOMAIN_SIZE="64bit" -t souffle-builder-image --name souffle-builder
+docker run --name souffle-builder -e DOMAIN_SIZE="64bit" -t souffle-builder-image
 
 # Copy the package onto your system
 docker cp souffle-builder:/souffle/build/souffle-VERSION-OS.EXTENSION .

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@ docker build . -f ./.github/images/fedora-41/Dockerfile -t souffle-builder-image`
`18`	`18`	`#`
`19`	`19`	`# Look for message 'CPack: - package: /souffle/build/souffle-VERSION-OS.EXTENSION'`
`20`	`20`	`#`
`21`		`-docker run -e DOMAIN_SIZE="64bit" -t souffle-builder-image --name souffle-builder`
	`21`	`+docker run --name souffle-builder -e DOMAIN_SIZE="64bit" -t souffle-builder-image`
`22`	`22`
`23`	`23`	`# Copy the package onto your system`
`24`	`24`	`docker cp souffle-builder:/souffle/build/souffle-VERSION-OS.EXTENSION .`