diff --git a/doc/arm/Bv9ARM.ch01.html b/doc/arm/Bv9ARM.ch01.html index 54dec76fc9..3bc1371144 100644 --- a/doc/arm/Bv9ARM.ch01.html +++ b/doc/arm/Bv9ARM.ch01.html @@ -599,6 +599,6 @@ -
BIND 9.12.0a1
BIND 9.12.0b1