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