omit doc directory

pull/2/head
Matthew Butterick 10 years ago
parent 481dee5f41
commit ea446cfcf5

1
.gitignore vendored

@ -15,6 +15,7 @@ Icon
.Trashes .Trashes
# generated documentation # generated documentation
doc/*
scribblings/*.js scribblings/*.js
scribblings/*.css scribblings/*.css
scribblings/*.html scribblings/*.html

Loading…
Cancel
Save