devops/pucked.texi: FFI changes are now in master.

diff --git a/src/devops/pucked.texi b/src/devops/pucked.texi
index e712b8bb3362b557a8ab3c5caa7f73b7e2fe8818..ad512473b5e5a3cd2036eabdf844ca6cd9df183e 100644 (file)
--- a/src/devops/pucked.texi
+++ b/src/devops/pucked.texi
@@ -18,7 +18,7 @@ in the repository at Birchwood Abbey, @code{puck/pucked}.  The
 discussion following each command is a quick summary of the diffs.
 
 @table @code
-@item $cmd="git diff origin/master puck/pucked --"
+@item cmd="git diff origin/master puck/pucked --"
 The command lines in this table assume you have defined @code{cmd} as
 above.
 
@@ -31,9 +31,10 @@ The project name, email and version were changed.  The manpage and
 user's manual were renamed and updated.  The Imail manual was moved to
 the Imail plugin's source directory.  All manuals were changed to fit
 inside a new, top-level @file{mit-scheme-pucked.info} file, the only
-Info file installed in the system Directory node.  Added a
-@file{style.css} for @file{htmldir}, a copy of the style sheets used
-with online manuals at @indicateurl{gnu.org}.
+Info file installed in the system Directory node.  Plugin selection
+and installation instructions were added, and a @file{style.css} for
+@file{htmldir}, a copy of the style sheets used with online manuals at
+@indicateurl{gnu.org}.  Installation of HTML was made the default.
 
 @item $cmd etc/
 No changes were made.
@@ -88,13 +89,7 @@ The Emacs tutorial was moved to the Edwin plugin's source directory.
 Both Edwin and Imail were removed from @file{optiondb.scm} and scripts
 like @file{build-bands.sh}.
 
-@item $cmd src/ffi/
-Added new build procedures @code{add-plugin} and @code{remove-plugin},
-which work with Debian package installation scripts
-(e.g.@: @code{prerm}) and maintain Info as well as HTML indices of
-installed plugins.
-
-@item $cmd src/compiler/ src/cref/ src/sf/ src/star-parser/
+@item $cmd src/compiler/ src/cref/ src/ffi/ src/sf/ src/star-parser/
 No changes were made to the rest of the core subsystems except their
 @file{Makefile-fragment}s.  These now install all source files.