From 4f4e9a9963309518c7cdd92a01ae5429533d6369 Mon Sep 17 00:00:00 2001
From: Andreas <howangandreas@gmail.com>
Date: Mon, 11 Apr 2022 02:40:03 -0400
Subject: [PATCH] fix a tiny typo (#5960)

A dot.
---
 doc/website.dox.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/website.dox.in b/doc/website.dox.in
index 69395492e..f4caa1277 100644
--- a/doc/website.dox.in
+++ b/doc/website.dox.in
@@ -4,7 +4,7 @@
    Z3 is a high-performance theorem prover being developed at <a class="el"
    href="http://research.microsoft.com">Microsoft Research</a>. 
    
-   <b>The Z3 website is at <a class="el" href="http://github.com/z3prover">http://github.com/z3prover.</a>.</b>
+   <b>The Z3 website is at <a class="el" href="http://github.com/z3prover">http://github.com/z3prover</a>.</b>
 
    This website hosts the automatically generated documentation for the Z3 APIs.