Direct links to GPLv3

diff --git a/goredo.texi b/goredo.texi
index 9271075cbc64eeee3b48067e260a7b2647ebcf34..0cb96fb32a85956e4c0ce0243742b1795ba850ce 100644 (file)
--- a/goredo.texi
+++ b/goredo.texi
@@ -21,9 +21,12 @@ It passes tests from
 @url{http://news.dieweltistgarnichtso.net/bin/redo-sh.html, redo-sh.tests}
 and implementation-neutral ones from @command{apenwarr/redo}.
 
-goredo is free software, licenced under
-@url{https://www.gnu.org/licenses/gpl-3.0.html, GNU GPLv3}:
-see the file COPYING for copying conditions.
+@command{goredo} is
+@url{https://www.gnu.org/philosophy/pragmatic.html, copylefted}
+@url{https://www.gnu.org/philosophy/free-sw.html, free software}
+licenced under @url{https://www.gnu.org/licenses/gpl-3.0.html, GNU GPLv3}.
+It should work on all @url{https://en.wikipedia.org/wiki/POSIX,
+POSIX}-compatible systems.
 
 Please send questions, bug reports and patches to
 @url{https://lists.cypherpunks.ru/mailman/listinfo/goredo-devel, goredo-devel}

diff --git a/install.texi b/install.texi
index f1ac4da57bcfd9a55f980fd19521d9c4b25fc115..e8dc4b5236e0dfdc4d70f4d72a2794561db9653f 100644 (file)
--- a/install.texi
+++ b/install.texi
@@ -1,7 +1,6 @@
 @node Install
 @unnumbered Install
 
-Hopefully it should work on all POSIX systems.
 Preferable way is to download tarball with the signature from website:
 
 @example