fix: give appropriate permissions of files in doc folder (#2949)

INRIA · Apr 21, 2019 · 2ef776a · 2ef776a
1 parent c2a2175
commit 2ef776a
Show file tree

Hide file tree

Showing 71 changed files with 0 additions and 0 deletions.
diff --git a/doc/404.md b/doc/404.md
diff --git a/doc/LICENSE b/doc/LICENSE
diff --git a/doc/LICENSE-BSD.txt b/doc/LICENSE-BSD.txt
diff --git a/doc/README.md b/doc/README.md
diff --git a/doc/_data/sidebar_doc.yml b/doc/_data/sidebar_doc.yml
diff --git a/doc/_data/tags_doc.yml b/doc/_data/tags_doc.yml
diff --git a/doc/_data/topnav_doc.yml b/doc/_data/topnav_doc.yml
diff --git a/doc/_includes/alerts.html b/doc/_includes/alerts.html
diff --git a/doc/_includes/callouts.html b/doc/_includes/callouts.html
diff --git a/doc/_includes/custom/conditions.html b/doc/_includes/custom/conditions.html
diff --git a/doc/_includes/custom/doc/customMenu.html b/doc/_includes/custom/doc/customMenu.html
diff --git a/doc/_includes/custom/doc/links_doc.html b/doc/_includes/custom/doc/links_doc.html
diff --git a/doc/_includes/custom/doc/series_acme.html b/doc/_includes/custom/doc/series_acme.html
diff --git a/doc/_includes/custom/doc/series_acme_next.html b/doc/_includes/custom/doc/series_acme_next.html
diff --git a/doc/_includes/footer.html b/doc/_includes/footer.html
diff --git a/doc/_includes/google_analytics.html b/doc/_includes/google_analytics.html
diff --git a/doc/_includes/head.html b/doc/_includes/head.html
diff --git a/doc/_includes/initialize_shuffle.html b/doc/_includes/initialize_shuffle.html
diff --git a/doc/_includes/sidebar.html b/doc/_includes/sidebar.html
diff --git a/doc/_includes/topnav.html b/doc/_includes/topnav.html
diff --git a/doc/_layouts/default.html b/doc/_layouts/default.html
diff --git a/doc/_layouts/none.html b/doc/_layouts/none.html
diff --git a/doc/_layouts/page.html b/doc/_layouts/page.html
diff --git a/doc/_release/deploy_archives.py b/doc/_release/deploy_archives.py
diff --git a/doc/_release/deploy_production.sh b/doc/_release/deploy_production.sh
diff --git a/doc/code_elements_header.md b/doc/code_elements_header.md
diff --git a/doc/css/bootstrap.min.css b/doc/css/bootstrap.min.css
diff --git a/doc/css/customstyles.css b/doc/css/customstyles.css
diff --git a/doc/css/font-awesome.min.css b/doc/css/font-awesome.min.css
diff --git a/doc/css/fonts/FontAwesome.otf b/doc/css/fonts/FontAwesome.otf
diff --git a/doc/css/fonts/fontawesome-webfont.eot b/doc/css/fonts/fontawesome-webfont.eot
diff --git a/doc/css/fonts/fontawesome-webfont.svg b/doc/css/fonts/fontawesome-webfont.svg
diff --git a/doc/css/fonts/fontawesome-webfont.ttf b/doc/css/fonts/fontawesome-webfont.ttf
diff --git a/doc/css/fonts/fontawesome-webfont.woff b/doc/css/fonts/fontawesome-webfont.woff
diff --git a/doc/css/fonts/fontawesome-webfont.woff2 b/doc/css/fonts/fontawesome-webfont.woff2
diff --git a/doc/css/lavish-bootstrap.css b/doc/css/lavish-bootstrap.css
diff --git a/doc/css/modern-business.css b/doc/css/modern-business.css
diff --git a/doc/css/printstyles.css b/doc/css/printstyles.css
diff --git a/doc/css/syntax.css b/doc/css/syntax.css
diff --git a/doc/css/theme-blue.css b/doc/css/theme-blue.css
diff --git a/doc/css/theme-green.css b/doc/css/theme-green.css
diff --git a/doc/css/theme-mauve.css b/doc/css/theme-mauve.css
diff --git a/doc/doc_homepage.md b/doc/doc_homepage.md
diff --git a/doc/example_scripts/example_usage_script.sh b/doc/example_scripts/example_usage_script.sh
diff --git a/doc/factories.md b/doc/factories.md
diff --git a/doc/fonts/FontAwesome.otf b/doc/fonts/FontAwesome.otf
diff --git a/doc/fonts/fontawesome-webfont.eot b/doc/fonts/fontawesome-webfont.eot
diff --git a/doc/fonts/fontawesome-webfont.svg b/doc/fonts/fontawesome-webfont.svg
diff --git a/doc/fonts/fontawesome-webfont.ttf b/doc/fonts/fontawesome-webfont.ttf
diff --git a/doc/fonts/fontawesome-webfont.woff b/doc/fonts/fontawesome-webfont.woff
diff --git a/doc/fonts/glyphicons-halflings-regular.eot b/doc/fonts/glyphicons-halflings-regular.eot
diff --git a/doc/fonts/glyphicons-halflings-regular.svg b/doc/fonts/glyphicons-halflings-regular.svg
diff --git a/doc/fonts/glyphicons-halflings-regular.ttf b/doc/fonts/glyphicons-halflings-regular.ttf
diff --git a/doc/fonts/glyphicons-halflings-regular.woff b/doc/fonts/glyphicons-halflings-regular.woff
diff --git a/doc/fonts/glyphicons-halflings-regular.woff2 b/doc/fonts/glyphicons-halflings-regular.woff2
diff --git a/doc/index.md b/doc/index.md
diff --git a/doc/jenkins/build.sh b/doc/jenkins/build.sh
diff --git a/doc/js/customscripts.js b/doc/js/customscripts.js
diff --git a/doc/js/jekyll-search.js b/doc/js/jekyll-search.js
diff --git a/doc/js/jquery.ba-throttle-debounce.min.js b/doc/js/jquery.ba-throttle-debounce.min.js
diff --git a/doc/js/jquery.localScroll.min.js b/doc/js/jquery.localScroll.min.js
diff --git a/doc/js/jquery.navgoco.min.js b/doc/js/jquery.navgoco.min.js
diff --git a/doc/js/jquery.scrollTo.min.js b/doc/js/jquery.scrollTo.min.js
diff --git a/doc/js/jquery.shuffle.min.js b/doc/js/jquery.shuffle.min.js
diff --git a/doc/js/lunr.min.js b/doc/js/lunr.min.js
diff --git a/doc/js/search.min.js b/doc/js/search.min.js
diff --git a/doc/js/toc.js b/doc/js/toc.js
diff --git a/doc/navgoco_license b/doc/navgoco_license
diff --git a/doc/references.md b/doc/references.md
diff --git a/doc/sitemap.xml b/doc/sitemap.xml
diff --git a/doc/structural_elements.md b/doc/structural_elements.md