From 85b9d8c37a1e4f0c267c699467c74efd0a2a4507 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 22 Nov 2012 17:09:30 -0800 Subject: [PATCH] improved Z3 documentation Signed-off-by: Leonardo de Moura --- doc/README | 2 ++ doc/{update_website.cmd => update_api_website.cmd} | 0 doc/z3code.dox | 2 +- 3 files changed, 3 insertions(+), 1 deletion(-) rename doc/{update_website.cmd => update_api_website.cmd} (100%) diff --git a/doc/README b/doc/README index 9b5dc756d..876771b11 100644 --- a/doc/README +++ b/doc/README @@ -17,6 +17,8 @@ To generate documentation for the Z3 code, we must execute doxygen z3code.dox +We must also have dot installed in our system. + The documentation will be store in the subdirectory './code/html'. The main file is './code/html/index.html' diff --git a/doc/update_website.cmd b/doc/update_api_website.cmd similarity index 100% rename from doc/update_website.cmd rename to doc/update_api_website.cmd diff --git a/doc/z3code.dox b/doc/z3code.dox index 7ec57594e..1a1993314 100644 --- a/doc/z3code.dox +++ b/doc/z3code.dox @@ -19,7 +19,7 @@ DOXYFILE_ENCODING = UTF-8 # The PROJECT_NAME tag is a single word (or a sequence of words surrounded # by quotes) that should identify the project. -PROJECT_NAME = Z3_CODE +PROJECT_NAME = Z3 PROJECT_NUMBER = OUTPUT_DIRECTORY = code CREATE_SUBDIRS = NO