devops: Update documentation slightly. Downcase a couple symbols.

diff --git a/src/devops/README b/src/devops/README
index 39e450ce5a023acf7e4cd6594547f407bb9bd9ff..13f2743559945efdf946071bb56e574199d6ff92 100644 (file)
--- a/src/devops/README
+++ b/src/devops/README
@@ -1,4 +1,4 @@
-The DEVOPS plugin.
+The DevOps plugin.
 
 This plugin provides tools for developers who want to release an
 experimental MIT/GNU Scheme or GNU standard plugins.  It is used at

diff --git a/src/devops/optiondb.scm b/src/devops/optiondb.scm
index d5ca9a341896750d274f92e2a55f43802396c2cb..59042f26fbfed2fdef14d3ecaa822a8194b028c2 100644 (file)
--- a/src/devops/optiondb.scm
+++ b/src/devops/optiondb.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*- |#
 
-(define-load-option 'DEVOPS
+(define-load-option 'devops
   (let ((pathname
         (merge-pathnames "make"
                          (directory-pathname (current-load-pathname)))))

diff --git a/src/devops/pucked.texi b/src/devops/pucked.texi
index 852d26c8a1e50ef87c77b30b8807293529d72c61..3a3b60ad229d692c63ea6bea63c2148c41c7e373 100644 (file)
--- a/src/devops/pucked.texi
+++ b/src/devops/pucked.texi
@@ -1,8 +1,8 @@
 @node Changes
 @chapter How so ``pucked?''
 
-The user visible differences between MIT/GNU Scheme version 10.1.3 and
-MIT/GNU Scheme Pucked version 10.1.7 are detailed in @ref{Release
+The user visible differences between MIT/GNU Scheme version 10.1.9 and
+MIT/GNU Scheme Pucked version 10.1.11 are detailed in @ref{Release
 Notes, , , user, MIT/GNU Scheme Pucked User Manual}.  This chapter is
 a review of @emph{all} source code changes, with reference to the
 output of specific @code{git diff} commands.
@@ -59,6 +59,8 @@ procedures.
 
 @item $cmd src/etc/
 The Emacs tutorial was moved to the Edwin plugin's source directory.
+Pucked options are not pre-installed so they were removed from the
+default @file{optiondb.scm}.
 
 @item $cmd src/imail/
 The IMAIL manual was renamed and edited for installation in a new,