pippijn/aldor — pull request #6 by hemmecke (2013-07-15 23:50:08+00:00)
Title: fix build of aldor user guide

That fixes small issues with the build of the aldor user guide and adds a makefile.