Fix Makefile (docs should build succesfully again now)