From 24aced272a024f25bf46f33a9aebd3dc7ab1714a Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Fri, 22 Sep 2023 15:28:46 -0700
Subject: [PATCH] Update COMPILING

fixed typo
---
 doc/COMPILING | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/COMPILING b/doc/COMPILING
index 554b30de1..1de49bd07 100644
--- a/doc/COMPILING
+++ b/doc/COMPILING
@@ -633,7 +633,7 @@ dynamic and static libraries in different locations:
 2) Build GMP as a static library in a different location (say
    /tools/static_gmp/). This can be done by giving options
 
-      --disable-share --enable-static --prefix=/tools/static_gmp
+      --disable-shared --enable-static --prefix=/tools/static_gmp
 
    to GMP's configure script.  This will build