diff options
| -rw-r--r-- | rtems_waf/docs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtems_waf/docs.py b/rtems_waf/docs.py index afa251035f..7725133d93 100644 --- a/rtems_waf/docs.py +++ b/rtems_waf/docs.py @@ -127,3 +127,4 @@ def rtems_cmd_docs(ctx): fp.write(footer()) + print("Wrote options.html") |