diff --git a/doc/build.html b/doc/build.html index 9069b6d4e..9c3f63e2b 100644 --- a/doc/build.html +++ b/doc/build.html @@ -516,8 +516,9 @@ copyright.
  • Create the Github release tag: diff --git a/doc/content-for-build.html b/doc/content-for-build.html index f04373b3f..2d7ec563a 100644 --- a/doc/content-for-build.html +++ b/doc/content-for-build.html @@ -297,8 +297,9 @@ copyright.
  • Create the Github release tag: