Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit 64e49e67 authored by Julien Salort's avatar Julien Salort
Browse files

Fix name of the built html directory

parent 8cb04041
Pipeline #80742 passed with stages
in 48 seconds
......@@ -7,7 +7,7 @@ pages:
stage: docs
- make -C Documentation html
- mv Documentation/_build/html/ public/
- mv Documentation/build/html/ public/
- public
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment