From 4b937959856b525d10e14712250f947d1004bd17 Mon Sep 17 00:00:00 2001
From: Amar Takhar <amar@rtems.org>
Date: Fri, 27 Feb 2015 12:17:10 -0500
Subject: Print name of file written.

---
 rtems_waf/docs.py | 1 +
 1 file changed, 1 insertion(+)

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")
-- 
cgit v1.2.3