readthedocs-friendly compilation

Declined
#5 · Created  · Last updated

Declined pull request

An improved pull request is coming soon…

Closed by: ·2015-10-22

Description

This branch changes compilation to use tools available on http://readthedocs.org, so that is can be used there.

0 attachments

0 comments

Loading commits...