github_repo=git@github.com:AndreaCensi/reprep.git
include docs.mk