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 Microsoft Research. - The Z3 website is at http://github.com/z3prover.. + The Z3 website is at http://github.com/z3prover. This website hosts the automatically generated documentation for the Z3 APIs.