From 261358a3c093002af8d7ed2405ee64b0bcd8b555 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 22 Feb 2021 15:41:06 +0200
Subject: Fix formatting in bash guide

---
 doc/bash-style.cli | 3 ++-
 doc/release.cli    | 4 ++++
 2 files changed, 6 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/bash-style.cli b/doc/bash-style.cli
index 3f620f4..4edc984 100644
--- a/doc/bash-style.cli
+++ b/doc/bash-style.cli
@@ -253,10 +253,11 @@ rm -f \"$dir/$name\".*
 Note also that globbing is not performed in the \c{[[ ]]} context so this is
 ok:
 
+\
 if [[ -v array[0] ]]; then
   ...
 fi
-
+\
 
 \N|One exception to this quoting rule is arithmetic expansion (\c{$((\ ))}):
 Bash treats it as if it was double-quoted and, as a result, any inner quoting
diff --git a/doc/release.cli b/doc/release.cli
index 9a83a44..92d799e 100644
--- a/doc/release.cli
+++ b/doc/release.cli
@@ -52,6 +52,10 @@ distribution from \c{etc/stage} and add the pre-distributed packages
   copyright update notification via a pre-commit hook. So perhaps this step
   can be removed.
 
+\h#install-times|Update install script times.|
+
+  See c{private/install/build2-times.txt} for instructions.
+
 \h#etc|Update \c{etc/git/modules}|
 
   Review for any new modules. Remove \c{etc/} and \c{private/} from
-- 
cgit v1.1