diff --git a/doc/index.html b/doc/index.html index 47d7f4ad..6fc6c5b3 100644 --- a/doc/index.html +++ b/doc/index.html @@ -362,7 +362,7 @@ AR=$(CROSS)ar
Download |