From a6a6a9c29f96c63eec7d5efef6860553d366be21 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Tue, 25 Apr 2017 15:43:03 +0100
Subject: [PATCH] [Doxygen] Fix link to ".NET" documentation it should point to
 the "Microsoft.Z3" namespace, not the "Microsoft.Z3.Context" class.

This mirrors the link provided for the Java API.
---
 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 6007b77c4..014a152b4 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -234,7 +234,7 @@ try:
     if DOTNET_ENABLED:
         website_dox_substitutions['DOTNET_API'] = (
             '{prefix}'
-            '<a class="el" href="class_microsoft_1_1_z3_1_1_context.html">'
+            '<a class="el" href="namespace_microsoft_1_1_z3.html">'
             '.NET API</a>').format(
                 prefix=bullet_point_prefix)
     else: