From b0338709dee4388b1b3fb858678ea2dcab942cd3 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Thu, 4 Jul 2019 13:33:15 -0700 Subject: [PATCH] devops: Update documentation slightly. Downcase a couple symbols. --- src/devops/README | 2 +- src/devops/optiondb.scm | 2 +- src/devops/pucked.texi | 6 ++++-- 3 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/devops/README b/src/devops/README index 39e450ce5..13f274355 100644 --- 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 d5ca9a341..59042f26f 100644 --- 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 852d26c8a..3a3b60ad2 100644 --- 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, -- 2.25.1