From d226d2f3813bcfb1bc98b0f7caaaf664a9d90fa1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 00:19:44 -0800 Subject: [PATCH] renamed script Signed-off-by: Leonardo de Moura --- doc/README | 2 +- doc/{mk-doc.py => mk_doc.py} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename doc/{mk-doc.py => mk_doc.py} (100%) diff --git a/doc/README b/doc/README index d320e501d..02e0cd98d 100644 --- a/doc/README +++ b/doc/README @@ -3,7 +3,7 @@ API documentation To generate the API documentation for the C, .NET and Python APIs, we must execute - python mk-doc.py + python mk_doc.py We must have doxygen installed in our system. diff --git a/doc/mk-doc.py b/doc/mk_doc.py similarity index 100% rename from doc/mk-doc.py rename to doc/mk_doc.py