Olá Leonardo e amigos,
Eu até hoje não achei nada, faço assim: quando é
divulgado as datas de inicio e término do horário de verão, eu crio um arquivo
.zic e rodo o comando zic para gerar o novo arquivo, depois faço cópia dele como
/etc/localtime (substituindo o existente).