guluc3m/gul-zoe — pull request #4 by javierhonduco (2013-08-29 16:24:16+00:00)
Title: Create generatedocs.py

A script that fetches all html docs from the directory, stores them in the htmldocs folder and launches a server to view them