diff --git a/doc/building.html b/doc/building.html index 3e39724aaf1..5df2e305676 100644 --- a/doc/building.html +++ b/doc/building.html @@ -69,6 +69,7 @@
  • Running Tests
  • Cross-compiling