Bug#447381: gcc-4.2: please support the -nodocs build option

[Matthias Klose <doko@cs.tu-berlin.de>]

Neil Williams writes:
> Package: gcc-4.2
> Version: 4.2.2-3
> Severity: wishlist
> 
> gcc has a complex debian build layout and it isn't straightforward to
> disable the generation of the various -doc packages when preparing test
> builds or (in my case) cross builds. It would save a lot of build time
> and upload time if gcc could support the -nodocs option to prevent the
> creation of all -doc packages built from the gcc source.
> 
> Each method that I try to disable the various -doc packages fails to
> remove them all so it would be really useful if this could be supported
> within the package.

that could be done in debian/rules.defs by introducing a macro
with_docs, which is then used in debian/rules.d/binary-*.mk to
conditionally include the various doc targets.

  Matthias