3 ms·
If the post-processing stage is useful to others, perhaps it could be upstreamed into tex4ht? (I sometimes think that the user interface of github puts too muc
by xorcist 11y ago
If the post-processing stage is useful to others, perhaps it could be upstreamed into tex4ht?
(I sometimes think that the user interface of github puts too much emphasis on cloning and not enough on cooperation. Many useful tools ends up in a dozen forks, all with slightly different features, all equally inactive.)