diff --git a/Doc/html/Makefile b/Doc/html/Makefile index e6bf339aaa1..4ff1dd34dcb 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -28,6 +28,7 @@ PYTHONDOCS='