From a217a3ac4648724cdaf17922cd27f568777bac38 Mon Sep 17 00:00:00 2001 From: Paul Alesius Date: Wed, 3 Jan 2024 05:05:25 +0100 Subject: [PATCH] Include cover.png too --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 6d52ef1..5625bc6 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ src/**/*.old src/**/*.html src/**/*.png +!src/cover.png !src/banner*.png src/**/*.pdf src/**/*.tex