diff options
| author | Pedram Ashofteh Ardakani <pedramardakani@pm.me> | 2022-05-04 00:11:21 +0430 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2022-05-08 12:00:07 +0200 |
| commit | f51b5e2e500dd6450a5a3425e85df78245fc5c5c (patch) | |
| tree | e5cd2363925aa0efeceeca62151686ac94f78090 | |
| parent | 597d1df2aa8131ef39fb32ba339798209e4ba313 (diff) | |
./project: make clean removes extra tex files in top source directory
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.
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 6 |
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 |