.gitignore docs/

first baby step towards #72