/docs added to .gitignore in case we want to run ex_doc in ex_doc