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