diff options
| -rw-r--r-- | build_tools/get_documentation | 2 |
1 files changed, 1 insertions, 1 deletions
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} |