Updating time zone information on a Linux machine

Since daylight saving time is an issue for political dispute in Israel, the time of switching back and forth changes all too often. To keep my computer on track, I need to update the timezone info file every now and then. There are a lot of tutorials on the web about this, for example these [...]