Michael Wild <[email protected]> writes:

> In my case, I would need to set different configure flags depending on
> whether the documentation should be built or not since the default
> target also builds the docs if enabled.

Under what conditions should the documentation not be built?

> I would like to avoid building the docs (as opposed to just not
> building the package), since it is a pretty lengthy process.

You can patch the upstream build system to disable building parts that
you don't want to put into Debian.

But perhaps you mean something else.

-- 
 \     “I thought I'd begin by reading a poem by Shakespeare, but then |
  `\     I thought ‘Why should I? He never reads any of mine.’” —Spike |
_o__)                                                         Milligan |
Ben Finney


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Reply via email to