The Makefile is now aware of Documentation/ include directives