From 261358a3c093002af8d7ed2405ee64b0bcd8b555 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 22 Feb 2021 15:41:06 +0200 Subject: Fix formatting in bash guide --- doc/release.cli | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc/release.cli') 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