This document introduces DBGen, an automatic generator of De Bruijn infrastructure for the Coq proof assistant.