From e1a90f71933c52e07b93c5f80b09b802a2d12200 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Fri, 21 Jul 2000 18:25:09 +0000
Subject: [PATCH] Add GFDL chapter.

---
 v7/doc/sos/Makefile             | 10 +++++-----
 v7/doc/sos/sos.texinfo          | 33 ++++++++++++++++++++++-----------
 v7/doc/user-manual/user.texinfo | 12 +++++++++---
 3 files changed, 36 insertions(+), 19 deletions(-)

diff --git a/v7/doc/sos/Makefile b/v7/doc/sos/Makefile
index b20e06af9..637950d5d 100644
--- a/v7/doc/sos/Makefile
+++ b/v7/doc/sos/Makefile
@@ -1,5 +1,5 @@
 
-# $Id: Makefile,v 2.3 2000/07/10 22:19:43 cph Exp $
+# $Id: Makefile,v 2.4 2000/07/21 18:25:09 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -22,19 +22,19 @@ all:	sos.ps sos.pdf sos.info html/sos_toc.html
 sos.ps: sos.dvi
 	dvips -o $@ $^
 
-sos.dvi: sos.texinfo
+sos.dvi: sos.texinfo gfdl.texinfo
 	texi2dvi $^
 
-sos.pdf: sos.texinfo
+sos.pdf: sos.texinfo gfdl.texinfo
 	texi2pdf $^
 
-sos.info: sos.texinfo
+sos.info: sos.texinfo gfdl.texinfo
 	makeinfo $^
 	rm -f /usr/local/lib/mit-scheme/edwin/info/sos.info*
 	cpx sos.info* /usr/local/lib/mit-scheme/edwin/info/.
 	gzip -v /usr/local/lib/mit-scheme/edwin/info/sos.info*
 
-html/sos_toc.html: sos.texinfo
+html/sos_toc.html: sos.texinfo gfdl.texinfo
 	(cd html;make)
 
 AUX_SUFFIXES = aux log toc
diff --git a/v7/doc/sos/sos.texinfo b/v7/doc/sos/sos.texinfo
index b1728a3ad..8bec91289 100644
--- a/v7/doc/sos/sos.texinfo
+++ b/v7/doc/sos/sos.texinfo
@@ -1,16 +1,22 @@
 \input texinfo @c -*-Texinfo-*-
-@c %**start of header
+@iftex
+@finalout
+@end iftex
+@comment %**start of header
 @setfilename sos.info
 @settitle @value{TITLE}
-@c %**end of header
+@comment %**end of header
 @setchapternewpage odd
-@synindex vr fn
+@syncodeindex ky fn
+@syncodeindex vr fn
+@syncodeindex pg fn
+@syncodeindex tp fn
 
-@c $Id: sos.texinfo,v 2.6 2000/03/17 17:57:20 cph Exp $
+@c $Id: sos.texinfo,v 2.7 2000/07/21 18:23:04 cph Exp $
 
 @set TITLE The SOS Reference Manual
-@set EDITION 2.6
-@set UPDATED 17 March 2000
+@set EDITION 2.7
+@set UPDATED 21 July 2000
 
 @ifinfo
 Copyright @copyright{} 1993-2000 Massachusetts Institute of Technology
@@ -57,7 +63,8 @@ This is Edition @value{EDITION}, last updated @value{UPDATED}, of
 * Generic Procedures::          
 * Methods::                     
 * Printing::                    
-* Variable Index::              
+* GNU Free Documentation License::  
+* Binding Index::               
 * Concept Index::               
 @end menu
 
@@ -1541,7 +1548,7 @@ returns @code{#f}.
 Returns the key for @var{computed-emp}.
 @end deffn
 
-@node Printing, Variable Index, Methods, Top
+@node Printing, GNU Free Documentation License, Methods, Top
 @chapter Printing
 
 @cindex printing instances
@@ -1569,11 +1576,15 @@ where @var{hash-number} is the result of calling @code{hash} on
 @var{instance}, and @dots{} is the output generated by @var{thunk}.
 @end deffn
 
-@node Variable Index, Concept Index, Printing, Top
-@unnumbered Variable Index
+@node GNU Free Documentation License, Binding Index, Printing, Top
+@unnumbered GNU Free Documentation License
+@include gfdl.texinfo
+
+@node Binding Index, Concept Index, GNU Free Documentation License, Top
+@unnumbered Binding Index
 @printindex fn
 
-@node Concept Index,  , Variable Index, Top
+@node Concept Index,  , Binding Index, Top
 @unnumbered Concept Index
 @printindex cp
 
diff --git a/v7/doc/user-manual/user.texinfo b/v7/doc/user-manual/user.texinfo
index 8f4388492..e1e96c772 100644
--- a/v7/doc/user-manual/user.texinfo
+++ b/v7/doc/user-manual/user.texinfo
@@ -2,7 +2,7 @@
 @iftex
 @finalout
 @end iftex
-@comment $Id: user.texinfo,v 1.73 2000/07/10 21:56:21 cph Exp $
+@comment $Id: user.texinfo,v 1.74 2000/07/21 18:23:32 cph Exp $
 @comment %**start of header (This is for running Texinfo on a region.)
 @setfilename user.info
 @settitle MIT Scheme User's Manual
@@ -11,6 +11,8 @@
 @syncodeindex vr cp
 @syncodeindex fn cp
 @syncodeindex ky cp
+@syncodeindex pg cp
+@syncodeindex tp cp
 
 @ifinfo
 This file documents the use of MIT Scheme.
@@ -27,9 +29,9 @@ Free Documentation License".
 
 @titlepage
 @title{MIT Scheme User's Manual}
-@subtitle Edition 1.73
+@subtitle Edition 1.74
 @subtitle for Scheme Release 7.5
-@subtitle 10 July 2000
+@subtitle 21 July 2000
 @author by Stephen Adams
 @author Chris Hanson
 @author and the MIT Scheme Team
@@ -5204,6 +5206,10 @@ New undocumented primitives provide access to the registry.
 
 @end itemize
 
+@node GNU Free Documentation License, Binding Index, Printing, Top
+@unnumbered GNU Free Documentation License
+@include gfdl.texinfo
+
 @node Index,  , Release Notes, Top
 @unnumbered Index
 @printindex cp
-- 
2.25.1