Einträge über Make RSS-Feed (Make, de) 2024-01-16 12:00Doit zur Automatisierung voneinander abhängiger Verarbeitungen 2024-01-02 12:00Just als Alternative zu Phony-Targets von Make