1.0.3.40: :EXECUTABLE T implies --noinform

1.0.3.40: :EXECUTABLE T implies --noinform

        * Patch from Kevin Reid.
	* Not the right solution. This can be revisited once somebody
          implements the mythical saving of command-line parameters into the
          core.
        * Also check in some fixes to the build process of the manual (patch
          by Richard Kreuter).