diff --git a/NEWS b/NEWS index f6f4fa7f..b660b072 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,8 @@ Planned Release Check 0.13.0 +* configure: optional build documentation + Issue #206 (GitHub) + * missing in some files Issue #196 and Issue #186 (GitHub)