diff --git a/docs/FAQ b/docs/FAQ
index bed125e50a2ea7926b8c3944f22ce8eb86e4232c..9e739c61389756374721c2414c00b3f288491245 100644
--- a/docs/FAQ
+++ b/docs/FAQ
@@ -446,10 +446,10 @@ FAQ
 
   2.2 Does curl work/build with other SSL libraries?
 
-  Curl has been written to use OpenSSL, GnuTLS, yassl, NSS or PolarSSL,
-  although there should not be many problems using a different library. If
-  anyone does "port" curl to use a different SSL library, we are of course
-  very interested in getting the patch!
+  Curl has been written to use OpenSSL, GnuTLS, yassl, NSS, PolarSSL, axTLS or
+  qssl, although there should not be many problems using a different
+  library. If anyone does "port" curl to use a different SSL library, we are
+  of course very interested in getting the patch!
 
   2.3 Where can I find a copy of LIBEAY32.DLL?
 
diff --git a/docs/INSTALL b/docs/INSTALL
index 9a5844fc23bcb48af5da80c2cde20025264b77c4..1fd83dafdf9003864f95ed9bc0b0c39695827cbf 100644
--- a/docs/INSTALL
+++ b/docs/INSTALL
@@ -142,6 +142,9 @@ UNIX
      To build with PolarSSL support instead of OpenSSL for SSL/TLS, note that
      you need to use both --without-ssl and --with-polarssl.
 
+     To build with axTLS support instead of OpenSSL for TLS, note that you
+     need to use both --without-ssl and --with-axtls.
+
      To get GSSAPI support, build with --with-gssapi and have the MIT or
      Heimdal Kerberos 5 packages installed.