From 9d60a4c609e48a4c54ee3624fc6bf848714f5515 Mon Sep 17 00:00:00 2001 From: jean-pierre roux Date: Tue, 14 Oct 2008 14:47:27 +0000 Subject: [PATCH] cosmetics --- kernel/doc/bbtkUsersGuide/bbtkUsersGuide.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/doc/bbtkUsersGuide/bbtkUsersGuide.tex b/kernel/doc/bbtkUsersGuide/bbtkUsersGuide.tex index 80a9217..df0e1ec 100644 --- a/kernel/doc/bbtkUsersGuide/bbtkUsersGuide.tex +++ b/kernel/doc/bbtkUsersGuide/bbtkUsersGuide.tex @@ -2514,7 +2514,7 @@ int main(int argv, char* argc[]) \begin {itemize} \item{make} \\ -For some strange reasons (?!?), you may be warned that an error occured while documentation generation.\\ +For some strange reasons (?!?), at \texttt{cmake} time, you may be warned that an error occured while documentation generation.\\ Take it easy, \texttt{make} again!\\ \item{\bbStudio} is written using the Advanced User Interface library of wxWidgets. -- 2.45.1