Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
A problem that I observed (ages ago but only recently noted) in the mkiocccentry repo is that make -j does not work right. It is highly likely that this will be a problem here too so I have set this up now for later on.
- Loading branch information