diff --git a/docs/building.html b/docs/building.html index 923bacbcf..1aae861bd 100644 --- a/docs/building.html +++ b/docs/building.html @@ -3,7 +3,7 @@