Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: Simplify images generation to allow parallel build
- remove the tidy target from the main target. * aux/log file are already excluded in a .gititgnore file * allow parallel generation as the tidy target imposes sequential build
- Loading branch information