diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index 54f6b22f6d9..067d276a551 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -747,8 +747,6 @@ not.