diff --git a/docs/buildroot.html b/docs/buildroot.html index 00808ffc40..a94e7befa3 100644 --- a/docs/buildroot.html +++ b/docs/buildroot.html @@ -1123,6 +1123,7 @@ endef