https://bugs.kde.org/show_bug.cgi?id=495483

Mark Wielaard <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REPORTED                    |CONFIRMED
     Ever confirmed|0                           |1

--- Comment #7 from Mark Wielaard <[email protected]> ---
(In reply to Florian Krohm from comment #6)
> Created attachment 185435 [details]
> patch to control building documentation
> 
> Control building documentation on the command line.
> 
> Introduces Makefile variable  BUILD_DOCS with these possible values:
> none - no documentation built
> all - all documentation built
> no-print - no print documentation built

I don't object to the no-print name, but I think "html" might be
simpler/clearer.
BUILD_DOCS=[none|html|all]

> The old BUILD_ALL_DOCS is still recognised for backward compatibility and is
> mapped to BUILD_DOCS like so:
> If not specified --> BUILD_DOCS=all
> BUILD_ALL_DOCS=yes --> BUILD_DOCS=all
> BUILD_ALL_DOCS=no --> BUILD_DOCS=no-print
> 
> Call make dist BUILD_DOCS=none  in post-regtest-checks.

I wouldn't do this though.
It doesn't really catch anything more than post-regtest-checks already does.
I would simply suggest that people run make distcheck with BUILD_DOCS=...

make distcheck does a make dist and then tries to make, make check, make
install, make clean, etc.
That does catch real issues. But does take a long time.

-- 
You are receiving this mail because:
You are watching all bug changes.

Reply via email to