diff --git a/doc/README b/doc/README
index 9b5dc756d..818374808 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_api_doc.py
 
 We must have doxygen installed in our system.
 
diff --git a/doc/mk_doc.py b/doc/mk_api_doc.py
similarity index 88%
rename from doc/mk_doc.py
rename to doc/mk_api_doc.py
index b6ca4ae0b..cb90748ff 100644
--- a/doc/mk_doc.py
+++ b/doc/mk_api_doc.py
@@ -21,7 +21,7 @@ def cleanup_API(inf, outf):
             _outf.write(line)
 
 try:
-    mk_dir('html')
+    mk_dir('api/html')
     cleanup_API('../src/api/z3_api.h', 'z3_api.h')
     print "Removed annotations from z3_api.h."
     DEVNULL = open(os.devnull, 'wb')
@@ -33,15 +33,15 @@ try:
     print "Generated C and .NET API documentation."
     os.remove('z3_api.h')
     print "Removed temporary file z3_api.h."
-    shutil.copy('z3.css', 'html/z3.css')
+    shutil.copy('z3.css', 'api/html/z3.css')
     print "Copied z3.css."
-    shutil.copy('z3.png', 'html/z3.png')
+    shutil.copy('z3.png', 'api/html/z3.png')
     print "Copied z3.png."
     sys.path.append('../src/api/python')
     pydoc.writedoc('z3')
-    shutil.move('z3.html', 'html/z3.html')
+    shutil.move('z3.html', 'api/html/z3.html')
     print "Generated Python documentation."
-    print "Documentation was successfully generated at subdirectory './html'."
+    print "Documentation was successfully generated at subdirectory './api/html'."
 except:
     print "ERROR: failed to generate documentation"
     exit(1)