Posts about Make RSS feed (Make, en) 2024-01-16 12:00Doit zur Automatisierung voneinander abhängiger Verarbeitungen 2024-01-02 12:00Just als Alternative zu Phony-Targets von Make