dslab-epfl/s2e — pull request #44 by DonDiego (2013-06-17 19:44:41+00:00)
Title: documentation build

Here's a little something to simplify the documentation build.