Removal of many obsolete doc-related files
Loading
Related to the clean-up campaign see https://gitlab.cern.ch/lhcb-dpa/project/-/issues/18.
@pkoppenb, nothing but totally trivial things that I thought we could get rid of, while I was browsing the repository. The less irrelevant files we have the better.