Added a small fix to the documentation makefile, did not work as expected