diff --git a/doc/pub/Intro2Course/html/._Intro2Course-bs003.html b/doc/pub/Intro2Course/html/._Intro2Course-bs003.html index 6d003db48..6a01c77f0 100644 --- a/doc/pub/Intro2Course/html/._Intro2Course-bs003.html +++ b/doc/pub/Intro2Course/html/._Intro2Course-bs003.html @@ -120,7 +120,7 @@ end of tocinfo -->