[Doxygen] Teach mk_api_doc.py to use @ style substitutions

to control whether OCaml documentation link is emitted.

doc/mk_api_doc.py

@@ -123,17 +123,12 @@ try:
     doxygen_config_file = temp_path('z3api.cfg')
     configure_file('z3api.cfg.in', doxygen_config_file, doxygen_config_substitutions)
 
-    fi = open('website.dox', 'r')
+    website_dox_substitutions = {}
-    fo = open(temp_path('website.dox'), 'w')
+    if ML_ENABLED:
-
+        website_dox_substitutions['OCAML_API'] = '\n   - <a class="el" href="ml/index.html">ML/OCaml API</a>\n'
-    for line in fi:
+    else:
-        if (line != '[ML]\n'):
+        website_dox_substitutions['OCAML_API'] = ''
-            fo.write(line)
+    configure_file('website.dox.in', temp_path('website.dox'), website_dox_substitutions)
-        elif (ML_ENABLED):
-            fo.write('   - <a class="el" href="ml/index.html">ML/OCaml API</a>\n')
-    fi.close()
-    fo.close()
-
 
     mk_dir(os.path.join(OUTPUT_DIRECTORY, 'html'))
     shutil.copyfile('../src/api/python/z3/z3.py', temp_path('z3py.py'))

doc/website.dox.in

@@ -14,7 +14,6 @@
    - \ref cppapi
    - <a class="el" href="class_microsoft_1_1_z3_1_1_context.html">.NET API</a>
    - <a class="el" href="namespacecom_1_1microsoft_1_1z3.html">Java API</a>
-   - <a class="el" href="namespacez3py.html">Python API</a> (also available in <a class="el" href="z3.html">pydoc format</a>)
+   - <a class="el" href="namespacez3py.html">Python API</a> (also available in <a class="el" href="z3.html">pydoc format</a>)@OCAML_API@
-[ML]
    - Try Z3 online at <a href="http://rise4fun.com/z3">RiSE4Fun</a>.
 */