Fix for Ubuntu: compiling with just 'make' is now possible;
Targets for making the documentation (which will be available a little later).