aboutsummaryrefslogtreecommitdiff
path: root/reproduce
diff options
context:
space:
mode:
authorPedram Ashofteh Ardakani <pedramardakani@pm.me>2022-05-04 00:11:21 +0430
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2022-05-08 12:00:07 +0200
commitf51b5e2e500dd6450a5a3425e85df78245fc5c5c (patch)
treee5cd2363925aa0efeceeca62151686ac94f78090 /reproduce
parent597d1df2aa8131ef39fb32ba339798209e4ba313 (diff)
./project: make clean removes extra tex files in top source directorymaneage
Until now, the './project make clean' command would only clean (remove) the PDF file from the top source directory. However, if a user would run LaTeX outside of Maneage, many extra latex output such as *.aux, *.log, *.synctex and etc would be produced in the top source directory. These files can interfere with './project make'. With this commit, when './project make clean' is run, any possibly existing LaTeX temporary files will also be deleted from the top source directory. This problem was first reported by Matin Torkian.
Diffstat (limited to 'reproduce')
-rw-r--r--reproduce/analysis/make/initialize.mk6
1 files changed, 6 insertions, 0 deletions
diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk
index 5082657..7e9e938 100644
--- a/reproduce/analysis/make/initialize.mk
+++ b/reproduce/analysis/make/initialize.mk
@@ -241,6 +241,12 @@ clean:
# Delete the top-level PDF file.
rm -f *.pdf
+# Delete possible LaTeX output in top directory. This can happen when
+# the user has run LaTeX with applications other than maneage. For
+# example, when opening 'paper.tex' file with 'texstudio' and
+# executing 'build'.
+ rm -f *.aux *.log *.synctex *.auxlock *.dvi *.out *.run.xml *.bcf
+
# Delete all the built outputs except the dependency programs. We'll
# use Bash's extended options builtin ('shopt') to enable "extended
# glob" (for listing of files). It allows extended features like