added lecture doctypes to gitignore