From fdb4deed1d8ca8f2e15b5f25a6a03715a2cf9cd7 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sun, 12 Mar 2017 16:52:11 -0700 Subject: [PATCH] Puck the user manual. --- debian/mit-scheme-pucked.doc-base.user | 22 +- doc/index.html | 4 +- doc/user-manual/Makefile.in | 2 +- doc/user-manual/user.texinfo | 836 ++++++++++++------------- 4 files changed, 405 insertions(+), 459 deletions(-) diff --git a/debian/mit-scheme-pucked.doc-base.user b/debian/mit-scheme-pucked.doc-base.user index f97942d9a..9db8765d3 100644 --- a/debian/mit-scheme-pucked.doc-base.user +++ b/debian/mit-scheme-pucked.doc-base.user @@ -1,18 +1,18 @@ Document: mit-scheme-pucked-user Title: MIT/GNU Scheme User's Manual -Author: Stephen Adams and Chris Hanson -Abstract: This document describes how to install and use MIT/GNU Scheme. - It gives installation instructions for all of the platforms that we - support; complete documentation of the command-line options and - environment variables that control how Scheme works; and rudimentary - descriptions of how to interact with the evaluator, compile and debug - programs, and use the editor. The release notes are included as an - appendix. +Author: Stephen Adams and Chris Hanson and Matt Birkholz +Abstract: This document describes how to install and use MIT/GNU Scheme + Pucked, an experimental version of MIT/GNU Scheme. It gives + installation instructions for all of the supported platforms; + complete documentation of the command-line options and environment + variables that control how Scheme works; and rudimentary descriptions + of how to interact with the evaluator, compile and debug programs, + and use the editor. Section: Programming Format: HTML -Index: /usr/share/doc/mit-scheme-pucked/html/mit-scheme-user/index.html -Files: /usr/share/doc/mit-scheme-pucked/html/mit-scheme-user/*.html +Index: /usr/share/doc/mit-scheme-pucked/html/mit-scheme-pucked-user/index.html +Files: /usr/share/doc/mit-scheme-pucked/html/mit-scheme-pucked-user/*.html Format: PDF -Files: /usr/share/doc/mit-scheme-pucked/pdf/mit-scheme-user.pdf.gz +Files: /usr/share/doc/mit-scheme-pucked/pdf/mit-scheme-pucked-user.pdf.gz diff --git a/doc/index.html b/doc/index.html index 3e3bafbd8..d68426229 100644 --- a/doc/index.html +++ b/doc/index.html @@ -8,10 +8,10 @@
-The following MIT/GNU Scheme manuals are available. +The following MIT/GNU Scheme Pucked manuals are available.