Manage to ignore the tags files under each plugins' doc/
Modify .gitmodules to ignore help tags generated under each plugin's doc/