diff --git a/tools/lib/provision.py b/tools/lib/provision.py
index 04dd55df9a..d3b6ccf044 100755
--- a/tools/lib/provision.py
+++ b/tools/lib/provision.py
@@ -301,7 +301,14 @@ def main(options):
     else:
         print("No need to run `tools/generate-custom-icon-webfont`.")
 
-    run(["tools/setup/build_pygments_data"])
+    build_pygments_data_paths = ["tools/setup/build_pygments_data", "tools/setup/lang.json"]
+    from pygments import __version__ as pygments_version
+    if file_or_package_hash_updated(build_pygments_data_paths, "build_pygments_data_hash", options.is_force,
+                                    [pygments_version]):
+        run(["tools/setup/build_pygments_data"])
+    else:
+        print("No need to run `tools/setup/build_pygments_data`.")
+
     run(["scripts/setup/generate_secrets.py", "--development"])
     run(["tools/update-authors-json", "--use-fixture"])