@@ -26,10 +26,14 @@ make latexpdf
27## Contributing
27## Contributing
29−This manual is licenced under the following Creative Commons License.
29+The documentation for Idris has been published under the Creative
30+Commons CC0 License. As such to the extent possible under law, /The
31+Idris Community/ has waived all copyright and related or neighboring
32+rights to Documentation for Idris.
34+More information concerning the CC0 can be found online at:
36+ http://creativecommons.org/publicdomain/zero/1.0/
32−This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/4.0/.
35−When contributing material to the manual please bear in mind that the work will be licensed as above. More information about contribution, such as style information is contained in CONTRIBUTING.md.
39+When contributing material to the manual please bear in mind that the work will be licensed as above.