Closed perNyfelt closed 2 years ago
Thanks @perNyfelt for patching the javasphinx extension locally. I do believe that we should aim to remove javasphinx altogether, because it was introduced at a time when we did not have http://javadoc.renjin.org to link to. It makes little sense to maintain two separate API documentations ;-)
@mjkallen can you check whether this built successfully on read the docs?
It has, good work!