Git ignore generated manuals.

2021-04-04 02:59:58 +08:00 · 2021-04-04 02:59:58 +08:00 · f15f987b09
parent 1437a71b79
commit f15f987b09
1 changed files with 12 additions and 0 deletions
--- a/doc/.gitignore
+++ b/doc/.gitignore
@ -0,0 +1,12 @@
+#
+# Copyright (C) 2021  CismonX <admin@cismon.net>
+#
+# 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