diff --git a/Doc/Manual/Sections.html b/Doc/Manual/Sections.html index 9b2aaa343..e1bbbb01d 100644 --- a/Doc/Manual/Sections.html +++ b/Doc/Manual/Sections.html @@ -6,7 +6,7 @@