Re: Bug#687001: ITP: optional-dev -- fake (empty) dev package
On Sat, Sep 8, 2012 at 8:43 PM, gregor herrmann wrote:
I would be interested to see what real use-cases people wanted this
sort of thing for. Dimitry, which specific problem were you trying to
solve when you came up with optional-dev?
> But I see the use case, e.g. for packages that rebuild the
> documentation if some tool is available and just skip it gracefully
> and use the shipped version, if not.
We have the bootstrap stuff for that: