Closed ddalcino closed 1 year ago
If you fix the merge conflict I will merge it.
Sorry for the delay, life at university is busy as always.
If you fix the merge conflict I will merge it.
Sorry for the delay, life at university is busy as always.
@jurplel all merge conflicts are now resolved.
Fix #87
The code for installing source is very similar to the code that installs examples and docs, so I went ahead and implemented all of them.
This PR probably includes more refactoring than it should, but I was careful to keep all the refactors in their own commits, in case you want to move them to a separate PR. This PR would be too tedious for me to write without using these refactors, so they're included anyway.
Please see the changes to the README.md for a discussion of all the new features added here.