1.1 --- a/configure	Wed Aug 10 23:13:46 2011 +0200
     1.2 +++ b/configure	Wed Aug 17 22:23:21 2011 +0200
     1.3 @@ -314,14 +314,34 @@
     1.4  for instance \`--prefix=\${HOME}'.
     1.5  
     1.6  For better control, use the options below.
     1.7 +Note: options marked as \`ignored' are recognised, but not acted upon, as
     1.8 +they make no sense for crosstool-NG, or they are not implemented yet.
     1.9  
    1.10  Fine tuning of the installation directories:
    1.11    --bindir=DIR            user executables [PREFIX/bin]
    1.12    --libdir=DIR            object code libraries [PREFIX/lib]
    1.13    --docdir=DIR            info documentation [PREFIX/share/doc]
    1.14    --mandir=DIR            man documentation [PREFIX/share/man]
    1.15 +  --infodir=DIR           info documentation [DATAROOTDIR/info] (ignored)
    1.16 +  --datadir=DIR           read-only architecture-independent data [DATAROOTDIR]
    1.17 +                          (ignored)
    1.18 +  --sysconfdir=DIR        read-only single-machine data [PREFIX/etc] (ignored)
    1.19 +  --localstatedir=DIR     modifiable single-machine data [PREFIX/var] (ignored)
    1.20 +
    1.21 +Program names:
    1.22 +  --program-prefix=PREFIX            prepend PREFIX to installed program names
    1.23 +                                     (ignored)
    1.24 +
    1.25 +System types:
    1.26 +  --build=BUILD     configure for building on BUILD [guessed] (ignored)
    1.27 +  --host=HOST       cross-compile to build programs to run on HOST [BUILD]
    1.28 +                    (ignored)
    1.29  
    1.30  Optional Features:
    1.31 +  --enable-shared[=PKGS]  build shared libraries [default=yes] (ignored)
    1.32 +  --enable-static[=PKGS]  build static libraries [default=yes] (ignored)
    1.33 +
    1.34 +Optional Packages:
    1.35    --with-install=PATH     Specify the full PATH to GNU install
    1.36    --with-make=PATH        Specify the full PATH to GNU make >= 3.80
    1.37    --with-grep=PATH        Specify the full PATH to GNU grep