Merge branch 'fix/typo-closed-source' into 'master'

.gitattributes

dev/make-distrib.sh

doc/release/branch.tex

headers/closed-source/AORAI_LGPL

headers/closed-source/CDDL

headers/closed-source/CEA_FSF_LGPL

headers/closed-source/CEA_INRIA_LGPL

headers/closed-source/CEA_LGPL

headers/closed-source/CEA_LGPL_OR_PROPRIETARY

headers/closed-source/CEA_PROPRIETARY

headers/closed-source/CEA_PR_LGPL

headers/closed-source/CEA_WP

headers/closed-source/CIL

headers/closed-source/INRIA_BSD

headers/closed-source/JCF_LGPL

headers/closed-source/MODIFIED_CAMOMILE

headers/closed-source/MODIFIED_MENHIR

headers/closed-source/MODIFIED_OCAMLGRAPH

headers/closed-source/MODIFIED_WHY3

headers/closed-source/OCAML_STDLIB