diff --git a/doc/index.html b/doc/index.html index 402034df30..3556fed031 100644 --- a/doc/index.html +++ b/doc/index.html @@ -17,8 +17,10 @@ RTEMS Development Environment Guide