Cette page présente le logiciel Make, un outil simple et fiable pour automatiser des tâches. On peut notamment l’utiliser pour gagner en confort et en efficacité quand on veut générer des documents, par exemple avec Pandoc. ❧ Merci à David Larlet, Louis-Olivier Brassard et Antoine Fauchié pour leur relecture et leurs conseils.
