diff --git a/doc/index.html b/doc/index.html index fa48b4ec06..69c5b154b7 100644 --- a/doc/index.html +++ b/doc/index.html @@ -37,6 +37,8 @@ RTEMS Remote Debugger Server Specifications