Fix warning about \ref when building website.dox

Z3Prover · Aug 1, 2022 · 059b795 · 059b795
1 parent 2c2ab0d
commit 059b795
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/website.dox.in b/doc/website.dox.in
@@ -8,5 +8,5 @@
 
    This website hosts the automatically generated documentation for the Z3 APIs.
 
-   - \ref @C_API@ @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@ @JS_API@
+   @C_API@ @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@ @JS_API@
 */