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(' - ML/OCaml API\n') + fo.write(' - ML/OCaml API\n') fi.close() fo.close()