diff --git a/docs/index.html b/docs/index.html index c1e13978d8..abdb3d1b83 100644 --- a/docs/index.html +++ b/docs/index.html @@ -467,5 +467,5 @@ diff --git a/docs/manual/architectures/index.html b/docs/manual/architectures/index.html index c82b90f6eb..28ef1c9f43 100644 --- a/docs/manual/architectures/index.html +++ b/docs/manual/architectures/index.html @@ -638,6 +638,10 @@