diff --git a/docs.html b/docs.html index 0b8e21f4..78d10132 100644 --- a/docs.html +++ b/docs.html @@ -8566,21 +8566,13 @@ See also: cond( A )