diff --git a/presto-docs/src/main/sphinx/connector/hive.rst b/presto-docs/src/main/sphinx/connector/hive.rst
index 06262529ef449..88049062b86d6 100644
--- a/presto-docs/src/main/sphinx/connector/hive.rst
+++ b/presto-docs/src/main/sphinx/connector/hive.rst
@@ -945,7 +945,7 @@ Procedures
 
     Create an empty partition in the specified table.
 
-* ``system.sync_partition_metadata(schema_name, table_name, mode)``
+* ``system.sync_partition_metadata(schema_name, table_name, mode, case_sensitive)``
 
     Check and update partitions list in metastore. There are three modes available:
 
@@ -953,6 +953,11 @@ Procedures
     * ``DROP``: drop any partitions that exist in the metastore, but not on the file system.
     * ``FULL``: perform both ``ADD`` and ``DROP``.
 
+    The ``case_sensitive`` argument is optional. The default value is ``true`` for compatibility
+    with Hive's ``MSCK REPAIR TABLE`` behavior, which expects the partition column names in
+    file system paths to use lowercase (e.g. ``col_x=SomeValue``). Partitions on the file system
+    not conforming to this convention are ignored, unless the argument is set to ``false``.
+
 * ``system.drop_stats(schema_name, table_name, partition_values)``
 
     Drops statistics for a subset of partitions or the entire table. The partitions are specified as an