From f15f987b09fe2139938793496db6b4c151d934a6 Mon Sep 17 00:00:00 2001 From: CismonX Date: Sun, 4 Apr 2021 02:59:58 +0800 Subject: [PATCH] Git ignore generated manuals. --- doc/.gitignore | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 doc/.gitignore diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..fc24619 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,12 @@ +# +# Copyright (C) 2021 CismonX +# +# Copying and distribution of this file, with or without modification, are +# permitted in any medium without royalty, provided the copyright notice and +# this notice are preserved. This file is offered as-is, without any warranty. +# + +*.aux +*.info +*.log +*.toc