diff --git a/build_tools/get_documentation b/build_tools/get_documentation
index 7849c522ac3c92d79cfe53f20f027e6691a1e8c2..3c0e4980a746e02fd27896ef7b8243dbc5c96deb 100644
--- a/build_tools/get_documentation
+++ b/build_tools/get_documentation
@@ -1,3 +1,3 @@
 /\/\*\*\* DOCUMENTATION/ {printit=1; next}
 /\*\*\*\// {if (printit) exit}
-// {if (printit) print}
+{if (printit) print}