massemanet/distel — pull request #42 by bsmr (2014-06-10 09:13:11+00:00)
Title: added PDF target for documentation

This is just a minor tweak - without any great testing - to add another build target to generate PDF documentation. Maybe this is of interest for the master branch?