HomeSoftware Heritage

doc: prevent sphinx complaining about document not being included in a toctree

Authored by douardda on Nov 8 2018, 11:06 AM.