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 /reproduce | |
| 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.
Diffstat (limited to 'reproduce')
| -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 |