Durante 1770 se unieron dos pueblos vecinos, uno llamado Real de San José del Pinal y el otro Puesto de los Amoles; quedó entonces el nombre de Real de San José del Pinal de los Amoles, que perduró hasta 1894.