diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2023-01-09 16:32:18 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-01-09 16:32:18 +0200 |
commit | 2a7a60a29cc72f07263ec7534732141f8869b5ed (patch) | |
tree | e641c5e5299ecd11a32620de191f46779ea82cb6 | |
parent | 2f94b4e04e7c86339ac86d1b1319d9ea0412b351 (diff) |
Remove unnecessary escaping in double-quoted string
-rw-r--r-- | doc/buildfile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/buildfile b/doc/buildfile index 832897c..88f30fc 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -42,12 +42,10 @@ pregenerated/{man1 xhtml}{*}: dist = (!$develop) if $develop { - doc_version = [string] "$version.major\.$version.minor\.$version.patch" + doc_version = [string] "$version.major.$version.minor.$version.patch" if $version.pre_release doc_version += "-$version.pre_release_string" - doc_version = "3.0.0" - # Let's take the last four-digit number to cover 2000-2021,2022. # doc_year = $regex.replace($copyright, '.+[-, ]([0-9][0-9][0-9][0-9]) .+', '\1') |