diff --git a/tools/preprocess_frozen_modules.py b/tools/preprocess_frozen_modules.py
index 0233fba614a95..d157deeee9fc2 100755
--- a/tools/preprocess_frozen_modules.py
+++ b/tools/preprocess_frozen_modules.py
@@ -33,7 +33,7 @@ def copy_and_process(in_dir, out_dir):
     for root, subdirs, files in os.walk(in_dir):
 
         # Skip library examples directories.
-        if Path(root).name == 'examples':
+        if Path(root).name in ['examples', 'docs']:
             continue
 
         for file in files: