fixed broken 'doc' target, doc/Doxyfile relies  on PROTEUS

We can remove the PROTEUS environment variable dependency when we refactor the docs