Gustavo Noronha Silva authored Jun 26, 2021 and Paweł Wieczorek committed Jun 30, 2022

The base docker image we use configures dpkg to not install most files
to /usr/share/doc/, which makes sense in general. However, it is from
there that LAVA obtains the files it uses to show for its 'Help'
section, so we override the configuration to include the files
installed by lava-server-doc.