HomeSoftware Heritage

docs: prevent a 'file non included in a toctree' warning

Authored by douardda on Nov 28 2018, 6:39 PM.