diff options
Diffstat (limited to 'ocamldoc/remove_DEBUG')
| -rwxr-xr-x | ocamldoc/remove_DEBUG | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamldoc/remove_DEBUG b/ocamldoc/remove_DEBUG index 7233afbac0..78b11e6128 100755 --- a/ocamldoc/remove_DEBUG +++ b/ocamldoc/remove_DEBUG @@ -18,4 +18,5 @@ # respecting the cpp # line annotation conventions echo "# 1 \"$1\"" -LC_ALL=C sed -e '/DEBUG/s/.*//' "$1" +LC_ALL=C sed -e '/DEBUG/c\ +(* DEBUG statement removed *)' "$1" |