Add a new info-output-file option (hidden from --help) which is to be used by
-rw-r--r-- 110 Makefile
-rw-r--r-- 1451 Makefile.Linux
-rw-r--r-- 1101 Makefile.SunOS
-rw-r--r-- 17463 Makefile.common
-rw-r--r-- 2081 Makefile.config
-rw-r--r-- 17463 Makefile.rules
drwxr-xr-x - docs
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - runtime
drwxr-xr-x - support
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - utils