38cbfed28b31 ("docs: arm: fix a breakage with pdf output")