fix a tiny typo (#5960)

A dot.
Z3Prover · Apr 11, 2022 · 4f4e9a9 · 4f4e9a9
1 parent 0b20a4e
commit 4f4e9a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.