HomeSoftware Heritage

docs/Makefile: Remove no more needed target to fix doc build

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

docs/Makefile: Remove no more needed target to fix doc build

Details

Provenance
anlambertAuthored on Oct 9 2018, 4:03 PM
anlambertPushed on Oct 9 2018, 4:03 PM

Commit No Longer Exists

This commit no longer exists in the repository.