From 5330196f6e3fca8ed6e39f677edf286fdb97cf04 Mon Sep 17 00:00:00 2001 From: CismonX Date: Mon, 1 Mar 2021 03:39:38 +0800 Subject: [PATCH] Git ignore files generated from documentation. --- doc/.gitignore | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/.gitignore b/doc/.gitignore index 533b190..2803562 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -6,7 +6,12 @@ # this notice are preserved. This file is offered as-is, without any warranty. # +ctlseqs.aux +ctlseqs.cp +ctlseqs.cps ctlseqs.t2p/ +ctlseqs.toc +ctlseqs.log ctlseqs.pdf mdate-sh stamp-vti