Merge pull request #2046 from jfdm/fix/userdocs

Fix for #2045 by fixing reST syntax error in license declaration.
idris-lang · Mar 22, 2015 · c4f31c4 · c4f31c4
2 parents 9afcb72 + 8b70c6a
commit c4f31c4
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git a/docs/effects/index.rst b/docs/effects/index.rst
@@ -9,8 +9,8 @@ A tutorial on the `Effects` package in `Idris`.
 .. note::
 
    The documentation for Idris has been published under the Creative
-   Commons CC0 License. As such to the extent possible under law, /The
-   Idris Community/ has waived all copyright and related or neighboring
+   Commons CC0 License. As such to the extent possible under law, *The
+   Idris Community* has waived all copyright and related or neighboring
    rights to Documentation for Idris.
 
    More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/

diff --git a/docs/guides/index.rst b/docs/guides/index.rst
@@ -8,8 +8,8 @@ Tutorials submitted by community members.
 
 .. note::
    The documentation for Idris has been published under the Creative
-   Commons CC0 License. As such to the extent possible under law, /The
-   Idris Community/ has waived all copyright and related or neighboring
+   Commons CC0 License. As such to the extent possible under law, *The
+   Idris Community* has waived all copyright and related or neighboring
    rights to Documentation for Idris.
 
    More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/

diff --git a/docs/index.rst b/docs/index.rst
@@ -9,8 +9,8 @@ Documentation for the Idris Language
 .. note::
 
    The documentation for Idris has been published under the Creative
-   Commons CC0 License. As such to the extent possible under law, /The
-   Idris Community/ has waived all copyright and related or neighboring
+   Commons CC0 License. As such to the extent possible under law, *The
+   Idris Community* has waived all copyright and related or neighboring
    rights to Documentation for Idris.
 
    More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/

diff --git a/docs/reference/index.rst b/docs/reference/index.rst
@@ -10,8 +10,8 @@ This will tell you how Idris works, for using it you should read the Idris Tutor
 
 .. note::
    The documentation for Idris has been published under the Creative
-   Commons CC0 License. As such to the extent possible under law, /The
-   Idris Community/ has waived all copyright and related or neighboring
+   Commons CC0 License. As such to the extent possible under law, *The
+   Idris Community* has waived all copyright and related or neighboring
    rights to Documentation for Idris.
 
    More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/

diff --git a/docs/tutorial/index.rst b/docs/tutorial/index.rst
@@ -8,8 +8,8 @@ The is the Idris Tutorial. It will teach you about programming in the Idris Lang
 
 .. note::
    The documentation for Idris has been published under the Creative
-   Commons CC0 License. As such to the extent possible under law, /The
-   Idris Community/ has waived all copyright and related or neighboring
+   Commons CC0 License. As such to the extent possible under law, *The
+   Idris Community* has waived all copyright and related or neighboring
    rights to Documentation for Idris.
 
    More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/