HomeSoftware Heritage

docs/Makefile: Fix warning about file not being included in any toctree