[7/7] Add documentation for --enable/disable-docs

Submitted by Juan Quintela on Jan. 20, 2010, 5:41 p.m.

Details

Message ID ca5c98d583038c6474ace6dc112b8401778387b5.1264008700.git.quintela@redhat.com
State New
Headers show

Commit Message

Juan Quintela Jan. 20, 2010, 5:41 p.m.
Signed-off-by: Juan Quintela <quintela@redhat.com>
---
 configure |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

Patch hide | download patch | download mbox

diff --git a/configure b/configure
index 046b0fb..9d315f4 100755
--- a/configure
+++ b/configure
@@ -758,6 +758,8 @@  echo "  --disable-debug          disable common debug build options"
 echo "  --enable-debug           enable common debug build options"
 echo "  --disable-debug-tcg      disable TCG debugging (default)"
 echo "  --enable-debug-tcg       enable TCG debugging"
+echo "  --disable-docs           disable documentation generation"
+echo "  --enable-docs            enable documentation generation"
 echo "  --disable-fdt            disable fdt device tree"
 echo "  --enable-fdt             enable fdt device tree"
 echo "  --disable-gprof          disable gprof profiling"