Fue bibliotecario de la Real Biblioteca de San Lorenzo de El Escorial desde 1875 a 1884.