diff options
| author | Andrei Pavel <andrei@isc.org> | 2021-11-22 11:59:15 +0100 |
|---|---|---|
| committer | Andrei Pavel <andrei@isc.org> | 2021-11-22 11:59:15 +0100 |
| commit | c1603230390e365416dcf25c343593809690344a (patch) | |
| tree | f59d788c5078a3e73297b94377de0024916cb725 /tools | |
| parent | [#2195] bump lib versions for 2.1.1 (diff) | |
| download | kea-c1603230390e365416dcf25c343593809690344a.tar.xz kea-c1603230390e365416dcf25c343593809690344a.zip | |
[#2197] release changes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/extract_bnf.sh.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/extract_bnf.sh.in b/tools/extract_bnf.sh.in index 42a460de85..6a5f0fcf50 100644 --- a/tools/extract_bnf.sh.in +++ b/tools/extract_bnf.sh.in @@ -31,9 +31,8 @@ fi # Get the output file base=$1 output= -now=$(date +"%Y-%m-%-d %H:%m") -header="Grammar generated on $now. See Chapter $md_name for an explanation." +header="Grammar generated from $(basename "${base}").yy. See Chapter ${md_name} for an explanation." if [ -f "${base}.yy" ]; then # We want to explicitly set the language to English. Otherwise |