fixed doc configs required for renaming proteus/src -> proteus/proteus