diff --git a/doc/build.html b/doc/build.html index 5d6e5410f1..0265033e56 100644 --- a/doc/build.html +++ b/doc/build.html @@ -154,9 +154,10 @@

From git clone using autoconfig