diff --git a/build_tools/get_documentation b/build_tools/get_documentation
index 7849c522a..3c0e4980a 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}