From 059b795faa3f8a2e9c83f5f3abcc4bdaa5f0aa9e Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Mon, 1 Aug 2022 21:04:33 +0700 Subject: [PATCH] Fix warning about \ref when building website.dox --- 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 5249f2ae0d6..651652ce479 100644 --- 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@ */