Index: auto/options
===================================================================
--- auto/options	(revision 9a367616612b9e69c7e0bb155d5b543d50824483)
+++ auto/options	(revision c7ecbc244d4b134bbdf0ad3b58fbe5bbf616fd7b)
@@ -11,4 +11,5 @@
 if [ -z "$PROJECT_MAIL" ];      then PROJECT_MAIL=$DEFAULT_PROJECT_MAIL;            fi
 
+if [ -z "$INSTALL" ];           then INSTALL=$DEFAULT_INSTALL;                      fi
 if [ -z "$SHELL" ];             then SHELL=$DEFAULT_SHELL;                          fi
 if [ -z "$CC" ];                then CC=$DEFAULT_CC;                                fi
@@ -42,4 +43,5 @@
 if [ -z "$bindir" ];            then bindir=$DEFAULT_bindir;                        fi
 if [ -z "$sbindir" ];           then sbindir=$DEFAULT_sbindir;                      fi
+if [ -z "$libexecdir" ];        then libexecdir=$DEFAULT_libexecdir;                fi
 if [ -z "$datarootdir" ];       then datarootdir=$DEFAULT_datarootdir;              fi
 if [ -z "$datadir" ];           then datadir=$DEFAULT_datadir;                      fi
@@ -47,4 +49,33 @@
 if [ -z "$sharedstatedir" ];    then sharedstatedir=$DEFAULT_sharedstatedir;        fi
 if [ -z "$localstatedir" ];     then localstatedir=$DEFAULT_localstatedir;          fi
+if [ -z "$docdir" ];            then docdir=$DEFAULT_docdir;                        fi
+if [ -z "$infodir" ];           then infodir=$DEFAULT_infodir;                      fi
+if [ -z "$htmldir" ];           then htmldir=$DEFAULT_htmldir;                      fi
+if [ -z "$dvidir" ];            then dvidir=$DEFAULT_dvidir;                        fi
+if [ -z "$pdfdir" ];            then pdfdir=$DEFAULT_pdfdir;                        fi
+if [ -z "$psdir" ];             then psdir=$DEFAULT_psdir;                          fi
+if [ -z "$libdir" ];            then libdir=$DEFAULT_libdir;                        fi
+if [ -z "$localedir" ];         then localedir=$DEFAULT_localedir;                  fi
+if [ -z "$mandir" ];            then mandir=$DEFAULT_mandir;                        fi
+if [ -z "$man1dir" ];           then man1dir=$DEFAULT_man1dir;                      fi
+if [ -z "$man2dir" ];           then man2dir=$DEFAULT_man2dir;                      fi
+if [ -z "$man3dir" ];           then man3dir=$DEFAULT_man3dir;                      fi
+if [ -z "$man4dir" ];           then man4dir=$DEFAULT_man4dir;                      fi
+if [ -z "$man5dir" ];           then man5dir=$DEFAULT_man5dir;                      fi
+if [ -z "$man6dir" ];           then man6dir=$DEFAULT_man6dir;                      fi
+if [ -z "$man7dir" ];           then man7dir=$DEFAULT_man7dir;                      fi
+if [ -z "$man8dir" ];           then man8dir=$DEFAULT_man8dir;                      fi
+if [ -z "$man9dir" ];           then man9dir=$DEFAULT_man9dir;                      fi
+if [ -z "$manext" ];            then manext=$DEFAULT_manext;                        fi
+if [ -z "$man1ext" ];           then man1ext=$DEFAULT_man1ext;                      fi
+if [ -z "$man2ext" ];           then man2ext=$DEFAULT_man2ext;                      fi
+if [ -z "$man3ext" ];           then man3ext=$DEFAULT_man3ext;                      fi
+if [ -z "$man4ext" ];           then man4ext=$DEFAULT_man4ext;                      fi
+if [ -z "$man5ext" ];           then man5ext=$DEFAULT_man5ext;                      fi
+if [ -z "$man6ext" ];           then man6ext=$DEFAULT_man6ext;                      fi
+if [ -z "$man7ext" ];           then man7ext=$DEFAULT_man7ext;                      fi
+if [ -z "$man8ext" ];           then man8ext=$DEFAULT_man8ext;                      fi
+if [ -z "$man9ext" ];           then man9ext=$DEFAULT_man9ext;                      fi
+
 
 for option
@@ -60,8 +91,10 @@
     --quiet)            quiet=yes                                 ;;
 
+    DESTDIR=*)          DESTDIR="$value"                          ;;
     --prefix=*)         prefix="$value"                           ;;
     --exec-prefix=*)    exec_prefix="$value"                      ;;
     --bindir=*)         bindir="$value"                           ;;
     --sbindir=*)        sbindir="$value"                          ;;
+    --libexecdir=*)     libexecdir="$value"                       ;;
     --datarootdir=*)    datarootdir="$value"                      ;;
     --datadir=*)        datadir="$value"                          ;;
@@ -69,5 +102,34 @@
     --sharedstatedir=*) sharedstatedir="$value"                   ;;
     --localstatedir=*)  localstatedir="$value"                    ;;
-
+    --docdir=*)         docdir="$value"                           ;;
+    --infodir=*)        infodir="$value"                          ;;
+    --htmldir=*)        htmldir="$value"                          ;;
+    --dvidir=*)         dvidir="$value"                           ;;
+    --pdfdir=*)         pdfdir="$value"                           ;;
+    --psdir=*)          psdir="$value"                            ;;
+    --libdir=*)         libdir="$value"                           ;;
+    --localedir=*)      localedir="$value"                        ;;
+    --mandir=*)         mandir="$value"                           ;;
+    --man1dir=*)        man1dir="$value"                          ;;
+    --man2dir=*)        man2dir="$value"                          ;;
+    --man3dir=*)        man3dir="$value"                          ;;
+    --man4dir=*)        man4dir="$value"                          ;;
+    --man5dir=*)        man5dir="$value"                          ;;
+    --man6dir=*)        man6dir="$value"                          ;;
+    --man7dir=*)        man7dir="$value"                          ;;
+    --man8dir=*)        man8dir="$value"                          ;;
+    --man9dir=*)        man9dir="$value"                          ;;
+    --manext=*)         manext="$value"                           ;;
+    --man1ext=*)        man1ext="$value"                          ;;
+    --man2ext=*)        man2ext="$value"                          ;;
+    --man3ext=*)        man3ext="$value"                          ;;
+    --man4ext=*)        man4ext="$value"                          ;;
+    --man5ext=*)        man5ext="$value"                          ;;
+    --man6ext=*)        man6ext="$value"                          ;;
+    --man7ext=*)        man7ext="$value"                          ;;
+    --man8ext=*)        man8ext="$value"                          ;;
+    --man9ext=*)        man9ext="$value"                          ;;
+
+    INSTALL=*)          INSTALL="$value"                          ;;
     SHELL=*)            SHELL="$value"                            ;;
     CC=*)               CC="$value"                               ;;
@@ -89,5 +151,4 @@
     DVIPS=*)            DVIPS="$value"                            ;;
 
-
     CFLAGS=*)           CFLAGS="$value"                           ;;
     LDFLAGS=*)          LDFLAGS="$value"                          ;;
@@ -124,4 +185,5 @@
   --bindir=PATH         user executables
   --sbindir=PATH        system admin executables
+  --libexecdir=PATH     program executables
   --datarootdir=PATH    read-only arch.-independent data root
   --datadir=PATH        read-only architecture-independent data
@@ -129,7 +191,36 @@
   --sharedstatedir=PATH modifiable architecture-independent data
   --localstatedir=PATH  modifiable single-machine data
+  --docdir=DIR          documentation root
+  --infodir=DIR         info documentation
+  --htmldir=DIR         html documentation
+  --dvidir=DIR          dvi documentation
+  --pdfdir=DIR          pdf documentation
+  --psdir=DIR           ps documentation
+  --libdir=DIR          object code libraries
+  --localedir=DIR       locale-dependent data
+  --mandir=DIR          man documentation
+  --man1dir=DIR         section 1 man documentation
+  --man2dir=DIR         section 2 man documentation
+  --man3dir=DIR         section 3 man documentation
+  --man4dir=DIR         section 4 man documentation
+  --man5dir=DIR         section 5 man documentation
+  --man6dir=DIR         section 6 man documentation
+  --man7dir=DIR         section 7 man documentation
+  --man8dir=DIR         section 8 man documentation
+  --man9dir=DIR         section 9 man documentation
+  --manext=EXT          man extension
+  --man1ext=EXT         section 1 man extension
+  --man2ext=EXT         section 2 man extension
+  --man3ext=EXT         section 3 man extension
+  --man4ext=EXT         section 4 man extension
+  --man5ext=EXT         section 5 man extension
+  --man6ext=EXT         section 6 man extension
+  --man7ext=EXT         section 7 man extension
+  --man8ext=EXT         section 8 man extension
+  --man9ext=EXT         section 9 man extension
 
 Some influential environment variables:
 
+  INSTALL               install command
   SHELL                 shell command
   CC                    C compiler command
