http
http copied to clipboard
Update .gitignore
Update .gitignore to add development directories and documentation build directory. The .gitignore file in the documentation subdirectory can be removed then.