diff --git a/docs/index.html b/docs/index.html index 28a56eb1801..74a7c4dc52c 100644 --- a/docs/index.html +++ b/docs/index.html @@ -233,27 +233,27 @@ the linker and its design