Source files for the documentation of the Ocelotl tool