diff --git a/BUILDING.html b/BUILDING.html index 4ee773751edf..769e223f36ac 100644 --- a/BUILDING.html +++ b/BUILDING.html @@ -768,6 +768,9 @@ and before building (provides a clean starting point). This will skip deleting DESTDIR if building on a native system to the root directory. +