This tutorial has become deprecated in favour of a Sphinx based, readthedocs integrated, solution hosted on the main idris repository. You can find this repository online:
http://www.github.com/idris-lang/Idris-dev
This repository is left here for archival purposes.