Closed edrx closed 4 years ago
Hi @edrx. Thanks for reporting the error!
The gist of the issue is: it used to be tricky to compile the manual without installing koDi first because it contains some live examples.
I recently made the switch from rake
to make
for the build system (https://github.com/paolobrasolin/kodi/issues/24) and it is now straightforward to get going.
🚀To build everything and install it in your local tree:
git clone https://github.com/paolobrasolin/kodi
cd kodi
make install
Once you do that,kodi
will be available to \usepackage
just like any other package.
You'll also find the compiled manual (which you were trying to obtain) at ./build/kodi-doc.pdf
in the repo.
😿To get rid of koDi:
# (clone and) cd into the repo as above, then
make uninstall
Please let me know whether this works out for you!
If I run
it fails with a:
Here's how to reproduce the error (btw, I'm on Debian):