diff --git a/build_docs.pl b/build_docs.pl
index abe0d938ac682..9481444dfc215 100755
--- a/build_docs.pl
+++ b/build_docs.pl
@@ -51,7 +51,7 @@ BEGIN
     $Opts,    #
     'all', 'push', 'update!',    #
     'single',  'pdf',     'doc=s',           'out=s',  'toc', 'chunk=i',
-    'open',    'staging', 'procs=i',         'user=s', 'lang=s',
+    'open',    'skiplinkcheck', 'staging', 'procs=i',         'user=s', 'lang=s',
     'lenient', 'verbose', 'reload_template', 'resource=s@'
 ) || exit usage();
 
@@ -191,12 +191,15 @@ sub build_all {
         write_html_redirect( $build_dir->subdir( $_->{prefix} ),
             $_->{redirect} );
     }
-
-    say "Checking links";
-    check_links($build_dir);
-
-    push_changes($build_dir)
-        if $Opts->{push};
+    if ( $Opts->{skiplinkcheck} ) {
+      say "Skipped Checking links";
+      }
+     else {
+       say "Checking links";
+       check_links($build_dir);
+         }
+     push_changes($build_dir)
+       if $Opts->{push};
 }
 
 #===================================
@@ -625,6 +628,7 @@ sub usage {
           --lenient         Ignore linking errors
           --lang            Defaults to 'en'
           --resource        Path to image dir - may be repeated
+          --skiplinkcheck     Omit the step that checks for broken links
 
         WARNING: Anything in the `out` dir will be deleted!