[Cython] cython-docs repository

[Jason Grout]

What is the relationship between the cython-docs repository and the 
docs/ subdirectory of the cython repository?  I see a recent commit [1] 
that seems to indicate that cython-docs has been merged into the main 
cython repository (+1 from me, for what it's worth).  Is my 
interpretation correct, and is cython-docs now deprecated?

I submitted a pull request for some typos [2], but I'm not sure if I 
should have submitted that pull request to the cython-docs repository.

Thanks,

Jason


[1] 
https://github.com/cython/cython/commit/2bcb14fff262a9a9c7b50bacb360bd983e6a92ee

[2] https://github.com/cython/cython/pull/22

--
Jason Grout