From b3b13541fbb0af173d6e95945f95fab49f7e0c8d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 00:31:55 -0800 Subject: [PATCH] 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'