diff --git a/doc/building.html b/doc/building.html index 8d43c95bee5..1333a36771a 100644 --- a/doc/building.html +++ b/doc/building.html @@ -96,6 +96,7 @@
  • Specific Build Issues
  • Getting Help
  • +
  • Reproducible Builds
  • Hints and Suggestions for Advanced Users