diff --git a/docs/building.html b/docs/building.html index 90fd1c869..94660f8cc 100644 --- a/docs/building.html +++ b/docs/building.html @@ -24,7 +24,7 @@