From 148a34b0a947ba0bb07d7562d2c554554dcff6d9 Mon Sep 17 00:00:00 2001 From: Paolo Di Tommaso Date: Sun, 15 Oct 2023 16:34:44 +0200 Subject: [PATCH] Bulding sphinx container on demand Signed-off-by: Paolo Di Tommaso --- docs/make-html.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make-html.sh b/docs/make-html.sh index ebf3378c75..da26d88bf2 100755 --- a/docs/make-html.sh +++ b/docs/make-html.sh @@ -1,4 +1,4 @@ #!/bin/bash -docker run -v $(pwd):/tmp nextflow/sphinx:5.3.0 -- make html +docker run -v $(pwd):/tmp $(wave -f Dockerfile --context .) -- make html echo "Done. See _build/html/index.html"