diff --git a/tools/generate_source_docs.sh b/tools/generate_source_docs.sh
index 706fe8220de68af6d9ff58e902fba581fb280db2..0922a2998341b32e2b944e1a888f6975d359496f 100755
--- a/tools/generate_source_docs.sh
+++ b/tools/generate_source_docs.sh
@@ -21,6 +21,7 @@
 NODE_LIST=(
   "."
   "tools"
+  "user_config"
 )
 
 DRY_RUN="false"