From 835e2cd056c3552e0011dd09b6f31489e7217253 Mon Sep 17 00:00:00 2001 From: Aoran Zeng Date: Thu, 22 Aug 2024 12:09:41 +0800 Subject: [PATCH] Update `.gitignore` --- .gitignore | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.gitignore b/.gitignore index f6e5975..b4d5522 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,10 @@ xy # Generated when testing nul + +# Texinfo +chsrc.aux +chsrc.log +chsrc.toc +*.info +*.pdf