From a5036769b30e5c7ef9b46ebeca8ee6459a300125 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 13 Apr 2015 17:46:18 +0100
Subject: [PATCH] ML API doc fix

---
 doc/mk_api_doc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py
index b93654288..1b498fb19 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -72,7 +72,7 @@ try:
         if (line != '[ML]\n'):
             fo.write(line)
         elif (ML_ENABLED):
-            fo.write('   - <a class="el" href="api/html/ml/index.html">ML/OCaml API</a>\n')
+            fo.write('   - <a class="el" href="ml/index.html">ML/OCaml API</a>\n')
     fi.close()
     fo.close()