fell for .gitignore setup to ignore doc/, which also works for etc/doc