diff --git a/src/bin/pg_dump/pg_dump.c b/src/bin/pg_dump/pg_dump.c
new file mode 100644
index 0884517..feeeae8
*** a/src/bin/pg_dump/pg_dump.c
--- b/src/bin/pg_dump/pg_dump.c
*************** main(int argc, char **argv)
*** 469,475 ****
  				break;
  
  			case 'X':
! 				/* -X is a deprecated alternative to long options */
  				if (strcmp(optarg, "disable-dollar-quoting") == 0)
  					disable_dollar_quoting = 1;
  				else if (strcmp(optarg, "disable-triggers") == 0)
--- 469,478 ----
  				break;
  
  			case 'X':
! 				/*
! 				 *	-X is a deprecated alternative to long options;
! 				 *	no new -X options are to be added.
! 				 */
  				if (strcmp(optarg, "disable-dollar-quoting") == 0)
  					disable_dollar_quoting = 1;
  				else if (strcmp(optarg, "disable-triggers") == 0)
