gnuprologjava-0.2.6-manual.patch

--- gnuprologjava.orig/docs/manual.texinfo	2011-01-06 13:07:12.000000000 +0100
+++ gnuprologjava/docs/manual.texinfo	2016-10-27 17:25:09.265632090 +0200
@@ -36,7 +36,7 @@
 @titlepage
 @title GNU Prolog for Java
 @subtitle for version @value{VERSION}, @value{UPDATED}
-@author Daniel Thomas (@email{info-gnuprolog@gnu.org})
+@author Daniel Thomas (@email{info-gnuprolog@@gnu.org})
 @insertcopying
 @end titlepage