@@ -26,10 +26,14 @@ make latexpdf
2626
2727## Contributing
2828
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.
33+
34+More information concerning the CC0 can be found online at:
35+
36+ http://creativecommons.org/publicdomain/zero/1.0/
3037
31−```
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/.
33−```
3438
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.