diff --git a/docs/Makefile b/docs/Makefile index cc31f6420..89e5f96eb 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -10,3 +10,4 @@ html: clean: rm -rf _build/ +