diff --git a/legacy/embryo/configure.ac b/legacy/embryo/configure.ac index 51a3a82b6f..eac8a6c2ba 100644 --- a/legacy/embryo/configure.ac +++ b/legacy/embryo/configure.ac @@ -176,7 +176,7 @@ echo "------------------------------------------------------------------------" echo echo "Configuration Options Summary:" echo -echo " Documentation........: ${enable_doc}" +echo " Documentation........: ${build_doc}" echo echo " Compilation..........: make" echo