From e77180d40318341710d4358253b93d5a858f2ea9 Mon Sep 17 00:00:00 2001 From: workinghard Date: Thu, 6 Jan 2022 18:54:22 +0100 Subject: [PATCH] cleanup --- .gitignore | 7 ++++++- doc/.gitignore | 4 ++++ 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 doc/.gitignore diff --git a/.gitignore b/.gitignore index e17adab..6a03451 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,8 @@ target* build* -bin* \ No newline at end of file +bin* + +doc/*.tex +doc/*.aux +doc/*.log +doc/*.synctex.gz \ No newline at end of file diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..da93023 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,4 @@ +*.tex +*.aux +*.log +*.synctex.gz \ No newline at end of file