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/src/bash/git-pre-commit | |
| 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/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions