doc: accommodate texinfo 5.1

Thanks to Charles Moss <czm>.

diff --git a/doc/ffi/ffi.texinfo b/doc/ffi/ffi.texinfo
index da6c87eceef717aad9233a8570fb0afb5e291518..066501a42ca0930e491639dd0f0ab3bd7e53ae1f 100644 (file)
--- a/doc/ffi/ffi.texinfo
+++ b/doc/ffi/ffi.texinfo
@@ -6,13 +6,14 @@
 @settitle FFI @value{VERSION}
 @comment %**end of header
 
-@macro myresult{}
 @ifhtml
+@macro myresult{}
  =>
+@end macro
 @end ifhtml
-@ifnothtml @result{}
+@ifnothtml
+@alias myresult = result
 @end ifnothtml
-@end macro
 
 @copying
 This manual documents @acronym{FFI} @value{VERSION}.

diff --git a/doc/imail/imail.texinfo b/doc/imail/imail.texinfo
index 11088b1129dbe1e490292382e55ad6ed9ee3e0db..1059401376e8dcb9f373dbffe71072f8cfc66c75 100644 (file)
--- a/doc/imail/imail.texinfo
+++ b/doc/imail/imail.texinfo
@@ -36,7 +36,7 @@ Documentation License.''
 @end direntry
 
 @titlepage
-@title{IMAIL User's Manual}
+@title IMAIL User's Manual
 @subtitle Edition @value{EDITION} for IMAIL @value{VERSION}
 @subtitle @value{UPDATED}
 @author by Chris Hanson

diff --git a/doc/ref-manual/scheme.texinfo b/doc/ref-manual/scheme.texinfo
index 864d708f6ebd7ddeb4acfae5fde0da8584f1946f..ccfb7cb78ae71ebfa1e2d3c73f7f3b3484c76e10 100644 (file)
--- a/doc/ref-manual/scheme.texinfo
+++ b/doc/ref-manual/scheme.texinfo
@@ -44,7 +44,7 @@ Documentation License.''
 @end direntry
 
 @titlepage
-@title{MIT/GNU Scheme Reference Manual}
+@title MIT/GNU Scheme Reference Manual
 @subtitle Edition @value{EDITION} for release @value{VERSION}
 @subtitle @value{UPDATED}
 @author by Chris Hanson

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index e6942dedff6e529ec688009f882dd242b903eaed..4366525c5f92bb267d2a8c38fa8b61301b931267 100644 (file)
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -44,7 +44,7 @@ Documentation License.''
 @end direntry
 
 @titlepage
-@title{MIT/GNU Scheme User's Manual}
+@title MIT/GNU Scheme User's Manual
 @subtitle Edition @value{EDITION} for MIT/GNU Scheme @value{VERSION}
 @subtitle @value{UPDATED}
 @author by Stephen Adams