From 6c186f27956219574c9e35ed672ac71e42c7ba1f Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Tue, 23 Jul 2024 21:33:51 -0700 Subject: [PATCH] actually update the header name for real --- regenerate | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/regenerate b/regenerate index aa81b5e..b3a4223 100755 --- a/regenerate +++ b/regenerate @@ -39,13 +39,13 @@ if ! which git >/dev/null 2>&1; then # git unavailable. just document everything as it is. dash ./sh/document || die 'failed to generate documentation' - printf '%s\n' '' '## compatibility' '' >> README.md~ || die 'failed to make room for compatibility table' + printf '%s\n' '' '## compatibility table' '' >> README.md~ || die 'failed to make room for compatibility table' dash ./tableize >> README.md~ || die 'failed to generate compatibility table' elif [ "$1" = local ]; then # user requested to ignore git. dash ./sh/document || die 'failed to generate documentation' - printf '%s\n' '' '## compatibility' '' >> README.md~ || die 'failed to make room for compatibility table' + printf '%s\n' '' '## compatibility table' '' >> README.md~ || die 'failed to make room for compatibility table' dash ./tableize >> README.md~ || die 'failed to generate compatibility table' else @@ -65,7 +65,7 @@ else # use new documentation-generating scripts on old shell scripts. cp -p README.md temp/README.md || die 'failed to copy existing readme' dash ./sh/document temp || die 'failed to generate documentation' - printf '%s\n' '' '## compatibility' '' >> temp/README.md~ || die 'failed to make room for compatibility table' + printf '%s\n' '' '## compatibility table' '' >> temp/README.md~ || die 'failed to make room for compatibility table' dash ./tableize temp >> temp/README.md~ || die 'failed to generate compatibility table' #[ ! -e README.md ] || backup README.md || die 'failed to backup existing readme'