diff --git a/doc/building.html b/doc/building.html index fbb13f9626c..3e39724aaf1 100644 --- a/doc/building.html +++ b/doc/building.html @@ -93,7 +93,7 @@
  • Getting Help
  • Hints and Suggestions for Advanced Users