Closed tarikgraba closed 1 month ago
This should resolve issue #4631 when building the doc images in parallel.
I have removed the tidy target and I just delete log and aux file after building each pdf.
tidy
I have reverted my previous commit and just removed the tidy target from the main target as I understand it is not needed any more (aux/log are ignored in docs/.gitignore)
docs/.gitignore
This should resolve issue #4631 when building the doc images in parallel.
I have removed the
tidy
target and I just delete log and aux file after building each pdf.