Ajout de fichiers presents sur mon disque

[simgrid.git] / bootstrap

diff --git a/bootstrap b/bootstrap
index 3989daa..25e00ab 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -97,7 +97,7 @@ if test -z "$*"; then
     echo \`$0\'" command line, or rerun aci_configurator and save the new ones."
     echo
   else
-    configure_args="--enable-maintainer-mode"
+    configure_args="--enable-maintainer-mode --enable-gtk-doc"
     echo "**Warning**: I am going to run \`configure' with no arguments."
     echo "If you wish to pass any to it, please specify them on the"
     echo \`$0\'" command line."