diff options
Diffstat (limited to 'tools/fmt-luadoc.php')
-rwxr-xr-x | tools/fmt-luadoc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fmt-luadoc.php b/tools/fmt-luadoc.php index d9d5ceca63..c764afd79f 100755 --- a/tools/fmt-luadoc.php +++ b/tools/fmt-luadoc.php @@ -518,7 +518,7 @@ function format_doxydoc ($f) { if (!empty ($doc)) { $rv.= '<tr><td></td><td class="doc" colspan="2"><div class="dox">'.$doc; $rv.= '</div></td></tr>'.NL; - } else if (1) { # debug + } else if (0) { # debug $rv.= '<tr><td></td><td class="doc" colspan="2"><p>'.htmlentities($f['cand']).'</p>'; $rv.= '</td></tr>'.NL; } |