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