diff --git a/doc/Section_intro.html b/doc/Section_intro.html index 8165316b0e..1bf786324f 100644 --- a/doc/Section_intro.html +++ b/doc/Section_intro.html @@ -319,7 +319,7 @@ debugging purposes. For high-quality visualization we recommend the following packages: