disable building of documentation for Waylandpp#23968
disable building of documentation for Waylandpp#23968boegel merged 2 commits intoeasybuilders:developfrom
Conversation
There was a problem hiding this comment.
Can we please instead just disable the docs, as these are useless (noone on a cluster will ever look up docs for Waylandpp, nor would they ever find these html pages if they did need it, and html pages over what is often a ssh session aren't a good way of viewing the docs anyway).
configopts = '-DBUILD_DOCUMENTATION=OFF '
|
@boegelbot please test @ jsc-zen3 |
|
@bedroge: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 3324156573 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot |
|
I've reinstated the |
|
@boegelbot please test @ jsc-zen3 |
|
@boegel: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 3325302276 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot |
|
Going in, thanks @TopRichard! |
No description provided.