add --disable-htmlpages to recent FFmpeg easyconfigs#20686
add --disable-htmlpages to recent FFmpeg easyconfigs#20686verdurin merged 1 commit intoeasybuilders:developfrom
--disable-htmlpages to recent FFmpeg easyconfigs#20686Conversation
|
@boegelbot please test @ generoso |
|
@bedroge: Request for testing this PR well received on login1 PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 2141551234 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot |
|
@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 2141609428 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot |
|
Test report by @verdurin |
|
Going in, thanks @bedroge! |
Building those pages apparently requires
texinfo, as I ran into the following issue:A
texinfopackage (version 7.1) is actually available on my system, but it looks like that specific version is causing issues:https://groups.google.com/g/linux.debian.bugs.dist/c/1f_eeuQd_2U
Instead of adding
texinfoas a (heavy) build/OS dependency, this PR adds a--disable-htmlpagesflag to recent versions, which will not build these pages.