diff options
author | Gustavo Sverzut Barbieri <barbieri@gmail.com> | 2012-10-10 21:02:23 +0000 |
---|---|---|
committer | Gustavo Sverzut Barbieri <barbieri@gmail.com> | 2012-10-10 21:02:23 +0000 |
commit | c2d88b1a3b56df39e3fa4a13df002062c519031b (patch) | |
tree | 682299fb512675039019440be97098b7eb4ec702 /configure.ac | |
parent | 6b442ed85dc6b7ce0f7b5db6bcb861cdcd09a90f (diff) |
efl: cosmetic change to documentation summary.
SVN revision: 77813
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index d70b513c01..ab26cb80df 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -869,7 +869,6 @@ echo " Cryptographic System.: ${build_crypto}" | |||
869 | if test "x${have_windows}" = "xyes" ; then | 869 | if test "x${have_windows}" = "xyes" ; then |
870 | echo " Windows version......: ${_efl_windows_version}" | 870 | echo " Windows version......: ${_efl_windows_version}" |
871 | fi | 871 | fi |
872 | echo " Documentation........: ${build_doc}" | ||
873 | echo | 872 | echo |
874 | echo "Compilation............: make (or gmake)" | 873 | echo "Compilation............: make (or gmake)" |
875 | echo " CPPFLAGS.............: $CPPFLAGS" | 874 | echo " CPPFLAGS.............: $CPPFLAGS" |
@@ -879,6 +878,9 @@ echo " LDFLAGS..............: $LDFLAGS" | |||
879 | echo | 878 | echo |
880 | echo "Tests..................: make check (Coverage: ${_efl_enable_coverage})" | 879 | echo "Tests..................: make check (Coverage: ${_efl_enable_coverage})" |
881 | echo "Examples...............: make examples (also install-examples)" | 880 | echo "Examples...............: make examples (also install-examples)" |
881 | if test "x${build_doc}" = "xyes"; then | ||
882 | echo "Documentation..........: make doc" | ||
883 | fi | ||
882 | echo "Installation...........: make install (as root if needed, with 'su' or 'sudo')" | 884 | echo "Installation...........: make install (as root if needed, with 'su' or 'sudo')" |
883 | echo " prefix...............: $prefix" | 885 | echo " prefix...............: $prefix" |
884 | echo | 886 | echo |