From 0ebf2b4f1bc46208e25943e6bf99dfa2b495a135 Mon Sep 17 00:00:00 2001 From: CismonX Date: Mon, 22 Feb 2021 03:06:37 +0800 Subject: [PATCH] Ignore generated documentation files. --- doc/.gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/.gitignore b/doc/.gitignore index b3933bf..533b190 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -6,6 +6,8 @@ # this notice are preserved. This file is offered as-is, without any warranty. # +ctlseqs.t2p/ +ctlseqs.pdf mdate-sh stamp-vti texinfo.tex