Removed ignore_doc_tags

- Relies on the old method of git submodule instantiation which creates
  a real .git directory in each submodule directory