update .gitignore for docs/
update the changing precision procedure