aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-27 23:46:49 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-27 23:46:49 +0000
commit4c74f4679ff78c7d8694d6814c5d16e463b5a866 (patch)
tree202e97f6397092b987d2280012923113ef198a92
parent83c17210186a7d83b394815ba205982622288a03 (diff)
Igoring .texlive* in the top build directory
As part of the pipeline, `.texlive2018' may be created. So it is added to `.gitignore'.
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index b768efd..b1e82ef 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@ mmap_*
.local
Makefile
.gnuastro
+.texlive*
LOCAL_tmp.mk
LOCAL_old.mk
reproduce/build