From 14944356f86219abbe8355926339143da9b10906 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 00:27:20 -0800 Subject: [PATCH 1/2] improving script Signed-off-by: Leonardo de Moura --- doc/mk_doc.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/mk_doc.py b/doc/mk_doc.py index 76d4a8609..b6ca4ae0b 100644 --- a/doc/mk_doc.py +++ b/doc/mk_doc.py @@ -25,8 +25,10 @@ try: cleanup_API('../src/api/z3_api.h', 'z3_api.h') print "Removed annotations from z3_api.h." DEVNULL = open(os.devnull, 'wb') - if subprocess.call(['doxygen', 'z3.dox'], stdout=DEVNULL, stderr=DEVNULL) != 0: - print "ERROR: failed to execute doxygen z3.dox" + try: + subprocess.call(['doxygen', 'z3.dox'], stdout=DEVNULL, stderr=DEVNULL) + except: + print "ERROR: failed to execute 'doxygen', make sure doxygen (http://www.doxygen.org) is available in your system." exit(1) print "Generated C and .NET API documentation." os.remove('z3_api.h') From b3b13541fbb0af173d6e95945f95fab49f7e0c8d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 00:31:55 -0800 Subject: [PATCH 2/2] improved doc/README Signed-off-by: Leonardo de Moura --- doc/README | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/README b/doc/README index 02e0cd98d..68019ca86 100644 --- a/doc/README +++ b/doc/README @@ -7,3 +7,5 @@ To generate the API documentation for the C, .NET and Python APIs, we must execu We must have doxygen installed in our system. +The documentation will be stored in the subdirectory './html'. +The main file is './html/index.html'