add dependency to Pygmentize

[VladimirAlexiev]

I guess Pygmentize is used to highlight the Turtle sources ("implementation" of each term).

2) Html: multi-page
Loading graph...
Building visualization...
Error: Pygmentize Failed (30 times)

Add such dependency, or at least describe in the README how to install it.

[VladimirAlexiev]

I'm a complete python noob, so tried the first thing that came to mind but it failed

$  pip install pygmentize
Collecting pygmentize
  Could not find a version that satisfies the requirement pygmentize (from versions: )
No matching distribution found for pygmentize

$  pip install Pygmentize
Collecting Pygmentize
  Could not find a version that satisfies the requirement Pygmentize (from versions: )
No matching distribution found for Pygmentize

$ python -V
Python 3.5.1

[bejar]

The dependence is for package Pygments, install it with:

$ pip install pygments

[lambdamusic]

Fixed as described in https://github.com/lambdamusic/Ontodocs/issues/17

[niruvt]

Hello all!
I am having the same problem :(
I have installed pygments. I have version 2.2.0
I also have php version 7.2.9

My error also says
ERROR: No matching distribution found for pygmentize

Please help!!