Skip to content
Snippets Groups Projects
Commit 299bab71 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[relman] indicate that pub.frama-c.com needs a few minutes to be refreshed

parent 4faf3c60
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 1 deletion
doc/release/website.tex
+ 3
− 1
View file @ 299bab71
...@@ -18,7 +18,9 @@ this is not absolutely necessary. ...@@ -18,7 +18,9 @@ this is not absolutely necessary.
Push the branch generated by the release script on the website repository. Push the branch generated by the release script on the website repository.
You can have a look at the generated pages on \texttt{pub.frama-c.com}. You can have a look at the generated pages on \texttt{pub.frama-c.com} (after
the \texttt{deploy} target of the website's continuous integration has successfully run.
This can take a few minutes if the server is loaded).
Note however that the download links won't work as they are available only Note however that the download links won't work as they are available only
once the branch is merged (\texttt{download} links are handled by Git-LFS). once the branch is merged (\texttt{download} links are handled by Git-LFS).
......
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