Signed-off-by: Juan Quintela <quint...@redhat.com> --- configure | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)
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" -- 1.6.6
