Message ID | ca5c98d583038c6474ace6dc112b8401778387b5.1264008700.git.quintela@redhat.com |
---|---|
State | New |
Headers | show |
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"
Signed-off-by: Juan Quintela <quintela@redhat.com> --- configure | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)