3 ms·
Have you thought about putting the source and scripts into a github repo, and taking community contributions? I'm sure people would pitch in to get later volume
by zellyn 13y ago
Have you thought about putting the source and scripts into a github repo, and taking community contributions? I'm sure people would pitch in to get later volumes converted.
- mhartl 13y agoI'll look into it, but unfortunately this isn't up to me. Convincing the publisher to let us put up an online version was hard enough.